Searched refs:boot_phys_offset (Results 1 – 4 of 4) sorted by relevance
699 void __init start_xen(unsigned long boot_phys_offset, in start_xen() argument740 (paddr_t)(uintptr_t)(_start + boot_phys_offset), in start_xen()745 setup_pagetables(boot_phys_offset, xen_paddr); in start_xen()
281 void start_secondary(unsigned long boot_phys_offset, in start_secondary() argument
615 void __init setup_pagetables(unsigned long boot_phys_offset, paddr_t xen_paddr) in setup_pagetables() argument
179 extern void setup_pagetables(unsigned long boot_phys_offset, paddr_t xen_paddr);
Completed in 9 milliseconds