Fix the build after public header sync.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/drivers/xen/core/xen_sysfs.c b/drivers/xen/core/xen_sysfs.c
index 17c37dcf66827d5d454c8008bd5853c13e72f1af..3288008ad52b3eb8ca80b851546228d43f674773 100644 (file)
--- a/drivers/xen/core/xen_sysfs.c
+++ b/drivers/xen/core/xen_sysfs.c
@@ -339,6 +339,9 @@ static void xen_properties_destroy(void)
 
 static ssize_t vmcoreinfo_show(struct hyp_sysfs_attr *attr, char *page)
 {
+       extern size_t vmcoreinfo_size_xen;
+       extern unsigned long paddr_vmcoreinfo_xen;
+
        return sprintf(page, "%lx %zx\n",
                paddr_vmcoreinfo_xen, vmcoreinfo_size_xen);
 }