Home
last modified time | relevance | path

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

/linux/arch/x86/kvm/vmx/
H A Dtdx_arch.h46 static inline bool tdx_vcpu_state_details_intr_pending(u64 vcpu_state_details) in tdx_vcpu_state_details_intr_pending() argument
48 return !!(vcpu_state_details & TDX_VCPU_STATE_DETAILS_INTR_PENDING); in tdx_vcpu_state_details_intr_pending()
H A Dtdx.c758 u64 vcpu_state_details; in tdx_protected_apic_has_interrupt() local
774 vcpu_state_details = in tdx_protected_apic_has_interrupt()
777 return tdx_vcpu_state_details_intr_pending(vcpu_state_details); in tdx_protected_apic_has_interrupt()