ICC_IGRPEN1_EL1_MASK
vmcr.grpen1 = FIELD_GET(ICC_IGRPEN1_EL1_MASK, val);
*val = FIELD_GET(ICC_IGRPEN1_EL1_MASK, vmcr.grpen1);
write_sysreg_s(ICC_IGRPEN1_EL1_MASK, SYS_ICC_IGRPEN1_EL1);