Searched refs:__vgic_v3_read_vmcr (Results 1 – 4 of 4) sorted by relevance
183 cpu_reg(host_ctxt, 1) = __vgic_v3_read_vmcr(); in handle___vgic_v3_read_vmcr()343 HANDLE_FUNC(__vgic_v3_read_vmcr),
244 extern u64 __vgic_v3_read_vmcr(void);
458 u64 __vgic_v3_read_vmcr(void) in __vgic_v3_read_vmcr() function1136 vmcr = __vgic_v3_read_vmcr(); in __vgic_v3_perform_cpuif_access()
745 cpu_if->vgic_vmcr = kvm_call_hyp_ret(__vgic_v3_read_vmcr); in vgic_v3_vmcr_sync()