Symbol: L1_DTE_VALID
sys/arm64/arm64/gicv5_its.c
664
if ((dte & L1_DTE_VALID) != 0) {
sys/arm64/arm64/gicv5_its.c
678
new_dte |= L1_DTE_VALID;
sys/arm64/arm64/gicv5_its.c
681
if ((dte & L1_DTE_VALID) != 0) {