Searched refs:__vgic_v3_write_vmcr (Results 1 – 4 of 4) sorted by relevance
71 case KVM_HOST_SMCCC_FUNC(__vgic_v3_write_vmcr): { in handle_host_hcall()74 __vgic_v3_write_vmcr(vmcr); in handle_host_hcall()
416 void __vgic_v3_write_vmcr(u32 vmcr) in __vgic_v3_write_vmcr() function764 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen0()776 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen1()803 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr0()823 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr1()
196 extern void __vgic_v3_write_vmcr(u32 vmcr);
663 kvm_call_hyp(__vgic_v3_write_vmcr, cpu_if->vgic_vmcr); in vgic_v3_load()
