GICH_VMCR_EOI_MODE_MASK
if (!(cpuif->vgic_vmcr & GICH_VMCR_EOI_MODE_MASK))
GICH_VMCR_EOI_MODE_MASK;
vmcrp->eoim = (vmcr & GICH_VMCR_EOI_MODE_MASK) >>