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