Symbol: pmap_l0pa
sys/arch/aarch64/aarch64/aarch64_tlb.c
59
__SHIFTIN(pmap_l0pa(pm), TTBR_BADDR);
sys/arch/aarch64/include/pmap.h
424
__SHIFTIN(pmap_l0pa(pm), TTBR_BADDR);