__kvm_flush_vm_context
extern void __kvm_flush_vm_context(void);
__kvm_flush_vm_context();
HANDLE_FUNC(__kvm_flush_vm_context),
kvm_call_hyp(__kvm_flush_vm_context);