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