Searched refs:vcpu_state_details (Results 1 – 1 of 1) sorted by relevance
752 u64 vcpu_state_details; in tdx_protected_apic_has_interrupt() local768 vcpu_state_details = in tdx_protected_apic_has_interrupt()771 return tdx_vcpu_state_details_intr_pending(vcpu_state_details); in tdx_protected_apic_has_interrupt()