Searched refs:MAPPED_KERN_RW_TO_K0 (Results 1 – 2 of 2) sorted by relevance
53 #define MAPPED_KERN_RW_TO_K0(x) PHYS_TO_K0(MAPPED_KERN_RW_TO_PHYS(x)) macro
537 (launch_proc_t)MAPPED_KERN_RW_TO_K0(smp_bootstrap), in allowboot()