Searched refs:__vgic_v3_write_vmcr (Results 1 – 4 of 4) sorted by relevance
463 void __vgic_v3_write_vmcr(u32 vmcr) in __vgic_v3_write_vmcr() function807 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen0()819 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen1()846 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr0()866 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr1()
188 __vgic_v3_write_vmcr(cpu_reg(host_ctxt, 1)); in handle___vgic_v3_write_vmcr()344 HANDLE_FUNC(__vgic_v3_write_vmcr),
245 extern void __vgic_v3_write_vmcr(u32 vmcr);
730 kvm_call_hyp(__vgic_v3_write_vmcr, cpu_if->vgic_vmcr); in vgic_v3_load()