Searched refs:__vgic_v3_write_vmcr (Results 1 – 2 of 2) sorted by relevance
432 void __hyp_text __vgic_v3_write_vmcr(u32 vmcr) in __vgic_v3_write_vmcr() function784 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen0()796 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen1()823 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr0()843 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr1()
672 kvm_call_hyp(__vgic_v3_write_vmcr, cpu_if->vgic_vmcr); in vgic_v3_load()