Searched defs:vgic_vmcr (Results 1 – 2 of 2) sorted by relevance
140 struct vgic_vmcr { struct141 u32 grpen0;142 u32 grpen1;144 u32 ackctl;145 u32 fiqen;146 u32 cbpr;147 u32 eoim;149 u32 abpr;150 u32 bpr;151 u32 pmr; /* Priority mask field in the GICC_PMR and
298 u32 vgic_vmcr; member307 u32 vgic_vmcr; member