Symbol: L1_DTE_L2_ADDR_MASK
sys/arm64/arm64/gicv5_its.c
665
l2_dtep = (uint64_t *)PHYS_TO_DMAP(dte & L1_DTE_L2_ADDR_MASK);
sys/arm64/arm64/gicv5_its.c
684
(uint64_t *)PHYS_TO_DMAP(dte & L1_DTE_L2_ADDR_MASK);