tdx_guest_keyid_free - Linux

Symbol: tdx_guest_keyid_free

arch/x86/include/asm/tdx.h

void tdx_guest_keyid_free(unsigned int keyid);

arch/x86/kvm/vmx/tdx.c

tdx_guest_keyid_free(kvm_tdx->hkid);

arch/x86/virt/vmx/tdx/tdx.c

EXPORT_SYMBOL_FOR_KVM(tdx_guest_keyid_free);