Searched refs:vcpu_state_details (Results 1 – 2 of 2) sorted by relevance
46 static inline bool tdx_vcpu_state_details_intr_pending(u64 vcpu_state_details) in tdx_vcpu_state_details_intr_pending() argument48 return !!(vcpu_state_details & TDX_VCPU_STATE_DETAILS_INTR_PENDING); in tdx_vcpu_state_details_intr_pending()
758 u64 vcpu_state_details; in tdx_protected_apic_has_interrupt() local774 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()