GIC_CPU_CTRL_AckCtl_SHIFT
val |= vmcr.ackctl << GIC_CPU_CTRL_AckCtl_SHIFT;
#define GIC_CPU_CTRL_AckCtl (1 << GIC_CPU_CTRL_AckCtl_SHIFT)