xen_memory_setup
x86_init.resources.memory_setup = xen_memory_setup;
char * __init xen_memory_setup(void);