Searched refs:xen_auto_xlated_memory_setup (Results 1 – 3 of 3) sorted by relevance
53 char * xen_auto_xlated_memory_setup(void);
920 char * __init xen_auto_xlated_memory_setup(void) in xen_auto_xlated_memory_setup() function
1559 x86_init.resources.memory_setup = xen_auto_xlated_memory_setup; in xen_start_kernel()