Searched refs:TD_VCPU_PEND_NMI (Results 1 – 2 of 2) sorted by relevance
63 TD_VCPU_PEND_NMI = 11, enumerator
1124 td_management_write8(to_tdx(vcpu), TD_VCPU_PEND_NMI, 1); in tdx_inject_nmi()