Searched defs:vgic_vmcr (Results 1 – 2 of 2) sorted by relevance
135 struct vgic_vmcr { struct136 u32 grpen0;137 u32 grpen1;139 u32 ackctl;140 u32 fiqen;141 u32 cbpr;142 u32 eoim;144 u32 abpr;145 u32 bpr;146 u32 pmr; /* Priority mask field in the GICC_PMR and
274 u32 vgic_vmcr; member283 u32 vgic_vmcr; member
