GICV5_DTL2E_VALID
if (FIELD_GET(GICV5_DTL2E_VALID, le64_to_cpu(*dte)))
FIELD_PREP(GICV5_DTL2E_VALID, 0x1);
if (!FIELD_GET(GICV5_DTL2E_VALID, le64_to_cpu(*dte))) {