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