MAX_CID_CNT
MB_KERNEL_CTX_SIZE * MAX_CID_CNT +
MB_KERNEL_CTX_SIZE * MAX_CID_CNT +
val = 0x10000 + (MAX_CID_CNT * MB_KERNEL_CTX_SIZE);
#define MAX_CID_ADDR (GET_CID_ADDR(MAX_CID_CNT))