Searched refs:__vgic_v3_read_vmcr (Results 1 – 6 of 6) sorted by relevance
87 cpu_reg(host_ctxt, 1) = __vgic_v3_read_vmcr(); in handle___vgic_v3_read_vmcr()194 HANDLE_FUNC(__vgic_v3_read_vmcr),
216 extern u64 __vgic_v3_read_vmcr(void);
458 u64 __vgic_v3_read_vmcr(void) in __vgic_v3_read_vmcr() function1133 vmcr = __vgic_v3_read_vmcr(); in __vgic_v3_perform_cpuif_access()
731 cpu_if->vgic_vmcr = kvm_call_hyp_ret(__vgic_v3_read_vmcr); in vgic_v3_vmcr_sync()
1755 ffff80001006f9a0 T __vgic_v3_read_vmcr
Completed in 290 milliseconds