GICV5_ITS_CR0_ITSEN
u32 cr0 = FIELD_PREP(GICV5_ITS_CR0_ITSEN, enable);
enabled = FIELD_GET(GICV5_ITS_CR0_ITSEN, cr0);