GIC_CPU_CTRL_EOImodeNS_SHIFT
val |= vmcr.eoim << GIC_CPU_CTRL_EOImodeNS_SHIFT;
#define GIC_CPU_CTRL_EOImodeNS (1 << GIC_CPU_CTRL_EOImodeNS_SHIFT)