GEN11_MAX_CONTEXT_HW_ID
max = GEN11_MAX_CONTEXT_HW_ID;
BUILD_BUG_ON(GEN11_MAX_CONTEXT_HW_ID > INT_MAX);
BUILD_BUG_ON(GEN11_MAX_CONTEXT_HW_ID > (BIT(GEN11_SW_CTX_ID_WIDTH)));