kvm_call_hyp
kvm_call_hyp(__kvm_timer_set_cntvoff, cntvoff);
kvm_call_hyp(__kvm_adjust_pc, vcpu);
kvm_call_hyp(__kvm_flush_cpu_context, mmu);
kvm_call_hyp(__vgic_v3_restore_vmcr_aprs,
kvm_call_hyp(__vgic_v3_save_aprs, &vcpu->arch.vgic_cpu.vgic_v3);
kvm_call_hyp(__kvm_adjust_pc, vcpu);
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa_nsh, pgt->mmu, addr, level);
kvm_call_hyp(__kvm_tlb_flush_vmid, mmu);
kvm_call_hyp(__kvm_tlb_flush_vmid_range, mmu, addr, inval_pages);
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, mmu,
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, mmu, ctx->addr,
kvm_call_hyp(__kvm_tlb_flush_vmid_ipa, mmu, ctx->addr,
kvm_call_hyp(__kvm_tlb_flush_vmid, &kvm->arch.mmu);
kvm_call_hyp(__vgic_v3_init_lrs);
kvm_call_hyp(__vgic_v3_save_aprs, cpu_if);
kvm_call_hyp(__vgic_v3_restore_vmcr_aprs, cpu_if);
kvm_call_hyp(__kvm_flush_vm_context);