Searched refs:xen_memory_setup (Results 1 – 3 of 3) sorted by relevance
56 char * __init xen_memory_setup(void);
793 char * __init xen_memory_setup(void) in xen_memory_setup() function
1353 x86_init.resources.memory_setup = xen_memory_setup; in xen_start_kernel()