Symbol: TDVMCALL_SETUP_EVENT_NOTIFY_INTERRUPT
arch/x86/kvm/vmx/tdx.c
1583
vcpu->run->tdx.nr = TDVMCALL_SETUP_EVENT_NOTIFY_INTERRUPT;
arch/x86/kvm/vmx/tdx.c
1603
case TDVMCALL_SETUP_EVENT_NOTIFY_INTERRUPT: