Searched refs:boot_phys_offset (Results 1 – 3 of 3) sorted by relevance
775 void __init start_xen(unsigned long boot_phys_offset, in start_xen() argument800 setup_pagetables(boot_phys_offset); in start_xen()813 (paddr_t)(uintptr_t)(_start + boot_phys_offset), in start_xen()
639 void __init setup_pagetables(unsigned long boot_phys_offset) in setup_pagetables() argument645 phys_offset = boot_phys_offset; in setup_pagetables()
176 extern void setup_pagetables(unsigned long boot_phys_offset);
Completed in 7 milliseconds