xen_build_dynamic_phys_to_machine
xen_build_dynamic_phys_to_machine();
void __init xen_build_dynamic_phys_to_machine(void);