__pkvm_finalize_teardown_vm
int __pkvm_finalize_teardown_vm(pkvm_handle_t handle);
cpu_reg(host_ctxt, 1) = __pkvm_finalize_teardown_vm(handle);
HANDLE_FUNC(__pkvm_finalize_teardown_vm),
WARN_ON(kvm_call_hyp_nvhe(__pkvm_finalize_teardown_vm,