GIC_CPU_CTRL_EnableGrp1_SHIFT
val |= vmcr.grpen1 << GIC_CPU_CTRL_EnableGrp1_SHIFT;
#define GIC_CPU_CTRL_EnableGrp1 (1 << GIC_CPU_CTRL_EnableGrp1_SHIFT)