Searched refs:TD_VCPU_STATE_DETAILS_NON_ARCH (Results 1 – 2 of 2) sorted by relevance
41 TD_VCPU_STATE_DETAILS_NON_ARCH = 0x100, enumerator
765 td_state_non_arch_read64(to_tdx(vcpu), TD_VCPU_STATE_DETAILS_NON_ARCH); in tdx_protected_apic_has_interrupt()
Completed in 15 milliseconds