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