Searched refs:setup_event_notify (Results 1 – 2 of 2) sorted by relevance
1314 uint64_t vector = run->tdx.setup_event_notify.vector; in tdx_handle_setup_event_notify_interrupt()1321 run->tdx.setup_event_notify.ret = TDG_VP_VMCALL_SUCCESS; in tdx_handle_setup_event_notify_interrupt()1323 run->tdx.setup_event_notify.ret = TDG_VP_VMCALL_INVALID_OPERAND; in tdx_handle_setup_event_notify_interrupt()
465 } setup_event_notify; member