CTX_DEVICE
case CTX_DEVICE:
case CTX_DEVICE:
iommu_flush_ctx(iommu, CTX_DEVICE, dom->did, sid, 0);
#define CIG_DEVICE CCMD_CIRG(CTX_DEVICE)
#define QI_CTX_IG_DEVICE (CTX_DEVICE << QI_CTX_IG_SHIFT)