Home
last modified time | relevance | path

Searched refs:__vgic_v3_get_bpr1 (Results 1 – 1 of 1) sorted by relevance

/Linux-v6.6/arch/arm64/kvm/hyp/
Dvgic-v3-sr.c580 static unsigned int __vgic_v3_get_bpr1(u32 vmcr) in __vgic_v3_get_bpr1() function
606 bpr = __vgic_v3_get_bpr1(vmcr); in __vgic_v3_pri_to_pre()
829 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr)); in __vgic_v3_read_bpr1()