MB_KERNEL_CTX_SIZE
val = 0x10000 + (MAX_CID_CNT * MB_KERNEL_CTX_SIZE);
#define MB_KERNEL_CTX_MASK (MB_KERNEL_CTX_SIZE - 1)