xen/x86: hook up xen_banner() also for PVH
[sfrench/cifs-2.6.git] / arch / x86 / xen / xen-ops.h
index 524d1243a0ce34a0bef3e23204ee49b502fe6339..8bc8b72a205d460743a76bfac00e88e4921c5015 100644 (file)
@@ -51,6 +51,7 @@ void __init xen_remap_memory(void);
 phys_addr_t __init xen_find_free_area(phys_addr_t size);
 char * __init xen_memory_setup(void);
 void __init xen_arch_setup(void);
+void xen_banner(void);
 void xen_enable_sysenter(void);
 void xen_enable_syscall(void);
 void xen_vcpu_restore(void);