- Update Xen patches to 3.3-rc5 and c/s 1157.
[linux-flexiantxendom0-3.2.10.git] / arch / x86 / include / mach-xen / asm / setup.h
1 #ifndef __ASSEMBLY__
2
3 void xen_start_kernel(void);
4 void xen_arch_setup(void);
5
6 #ifdef CONFIG_X86_64
7 void reserve_pfn_range(unsigned long pfn, unsigned long nr);
8 void reserve_pgtable_low(void);
9 #endif
10
11 extern unsigned long xen_initrd_start;
12
13 #ifdef CONFIG_EFI
14 void efi_probe(void);
15 #else
16 #define efi_probe() ((void)0)
17 #endif
18
19 #endif
20
21 #include_next <asm/setup.h>