3 void xen_start_kernel(void);
4 void xen_arch_setup(void);
7 void reserve_pfn_range(unsigned long pfn, unsigned long nr);
8 void reserve_pgtable_low(void);
11 extern unsigned long xen_initrd_start;
16 #define efi_probe() ((void)0)
21 #include_next <asm/setup.h>