Searched refs:__vgic_v3_get_bpr0 (Results 1 – 1 of 1) sorted by relevance
544 static unsigned int __hyp_text __vgic_v3_get_bpr0(u32 vmcr) in __vgic_v3_get_bpr0() function554 bpr = __vgic_v3_get_bpr0(vmcr); in __vgic_v3_get_bpr1()573 bpr = __vgic_v3_get_bpr0(vmcr) + 1; in __vgic_v3_pri_to_pre()798 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr)); in __vgic_v3_read_bpr0()
