Searched defs:vgic_vmcr (Results 1 – 2 of 2) sorted by relevance
154 struct vgic_vmcr { struct155 u32 grpen0;156 u32 grpen1;158 u32 ackctl;159 u32 fiqen;160 u32 cbpr;161 u32 eoim;163 u32 abpr;164 u32 bpr;165 u32 pmr; /* Priority mask field in the GICC_PMR and
299 u32 vgic_vmcr; member308 u32 vgic_vmcr; member