Searched refs:__vgic_v3_read_vmcr (Results 1 – 4 of 4) sorted by relevance
87 cpu_reg(host_ctxt, 1) = __vgic_v3_read_vmcr(); in handle___vgic_v3_read_vmcr()218 HANDLE_FUNC(__vgic_v3_read_vmcr),
234 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()