Searched defs: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()
744 u64 vcpu_state_details; in tdx_protected_apic_has_interrupt() local