Symbol: LX_TBL_PA
sys/arch/aarch64/aarch64/pmapboot.c
291
l1 = (uint64_t *)(l0[idx0] & LX_TBL_PA);
sys/arch/aarch64/aarch64/pmapboot.c
336
l2 = (uint64_t *)(l1[idx1] & LX_TBL_PA);
sys/arch/aarch64/aarch64/pmapboot.c
380
l3 = (uint64_t *)(l2[idx2] & LX_TBL_PA);
sys/arch/aarch64/include/pmap.h
94
#define lxpde_pa(pde) ((paddr_t)((pde) & LX_TBL_PA))