Searched refs:MAPPED_KERN_RO_TO_K0 (Results 1 – 2 of 2) sorted by relevance
52 #define MAPPED_KERN_RO_TO_K0(x) PHYS_TO_K0(MAPPED_KERN_RO_TO_PHYS(x)) macro
92 dest_kern_start = CHANGE_ADDR_NASID(MAPPED_KERN_RO_TO_K0(source_start), in copy_kernel()