Searched refs:AVIC_GATAG_TO_VCPUID (Results 1 – 1 of 1) sorted by relevance
47 #define AVIC_GATAG_TO_VCPUID(x) (x & AVIC_VCPU_ID_MASK) macro55 WARN_ON_ONCE(AVIC_GATAG_TO_VCPUID(ga_tag) != (vcpu_id)); \149 u32 vcpu_id = AVIC_GATAG_TO_VCPUID(ga_tag); in avic_ga_log_notifier()806 u32 vcpu_id = AVIC_GATAG_TO_VCPUID(pi->prev_ga_tag); in svm_ir_list_add()974 int id = AVIC_GATAG_TO_VCPUID(pi.prev_ga_tag); in avic_pi_update_irte()