76 static void __init xen_parse_512gb(void)  in xen_parse_512gb()  argument
180 void __init xen_inv_extra_mem(void)  in xen_inv_extra_mem()  argument
499 void __init xen_remap_memory(void)  in xen_remap_memory()  argument
543 static unsigned long __init xen_get_pages_limit(void)  in xen_get_pages_limit()  argument
554 static unsigned long __init xen_get_max_pages(void)  in xen_get_max_pages()  argument
603 static void __init xen_ignore_unusable(void)  in xen_ignore_unusable()  argument
704 static void __init xen_reserve_xen_mfnlist(void)  in xen_reserve_xen_mfnlist()  argument
728 char * __init xen_memory_setup(void)  in xen_memory_setup()  argument
915 void xen_enable_sysenter(void)  in xen_enable_sysenter()  argument
930 void xen_enable_syscall(void)  in xen_enable_syscall()  argument
949 static void __init xen_pvmmu_arch_setup(void)  in xen_pvmmu_arch_setup()  argument
967 void __init xen_arch_setup(void)  in xen_arch_setup()  argument