Searched defs:abpr (Results 1 – 3 of 3) sorted by relevance
163 u32 abpr; member
111 uint8_t abpr[GIC_NCPU_VCPU]; member
1889 uint32_t abpr; in gic_vmcr_write() local