AVIC_GATAG_TO_VMID
u32 vm_id = AVIC_GATAG_TO_VMID(ga_tag);
WARN_ON_ONCE(AVIC_GATAG_TO_VMID(ga_tag) != (vm_id)); \