GICV5_ITTL2E_VALID
if (FIELD_GET(GICV5_ITTL2E_VALID, le64_to_cpu(*itte)))
FIELD_PREP(GICV5_ITTL2E_VALID, 0x1);
itte_val &= ~GICV5_ITTL2E_VALID;