GIC_CPU_CTRL_EnableGrp0_SHIFT
val = vmcr.grpen0 << GIC_CPU_CTRL_EnableGrp0_SHIFT;
#define GIC_CPU_CTRL_EnableGrp0 (1 << GIC_CPU_CTRL_EnableGrp0_SHIFT)