MULTI_CS_MAX_USER_CTX
for (i = 0; i < MULTI_CS_MAX_USER_CTX; i++) {
if (i == MULTI_CS_MAX_USER_CTX) {
for (i = 0; i < MULTI_CS_MAX_USER_CTX; i++) {
for (i = 0; i < MULTI_CS_MAX_USER_CTX; i++) {
for (i = 0; i < MULTI_CS_MAX_USER_CTX; i++) {
MULTI_CS_MAX_USER_CTX];