IPMMU_CTX_MAX
bitmap_zero(mmu->ctx, IPMMU_CTX_MAX);
mmu->num_ctx = min(IPMMU_CTX_MAX, mmu->features->number_of_contexts);
DECLARE_BITMAP(ctx, IPMMU_CTX_MAX);
struct ipmmu_vmsa_domain *domains[IPMMU_CTX_MAX];