GICV5_DTL1E_VALID
if (FIELD_GET(GICV5_DTL1E_VALID, le64_to_cpu(l1devtab[l1_index])))
FIELD_PREP(GICV5_DTL1E_VALID, 0x1);