__AVIC_GATAG
u32 ga_tag = __AVIC_GATAG(vm_id, vcpu_idx); \
static_assert(__AVIC_GATAG(AVIC_VM_ID_MASK, AVIC_VCPU_IDX_MASK) == -1u);