TD_VCPU_STATE_DETAILS_NON_ARCH (reference) in projects: arch

Searched refs:TD_VCPU_STATE_DETAILS_NON_ARCH (Results 1 – 2 of 2) sorted by relevance

/arch/x86/kvm/vmx/
A D	tdx_arch.h	`41 TD_VCPU_STATE_DETAILS_NON_ARCH = 0x100, enumerator`
A D	tdx.c	`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