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

/linux-master/arch/arm64/kvm/hyp/
H A Dvgic-v3-sr.c599 static unsigned int __vgic_v3_get_bpr1(u32 vmcr) function
625 bpr = __vgic_v3_get_bpr1(vmcr);
848 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr));

Completed in 182 milliseconds