TDC_MBL_SHIFT
ml.bits.mbaddr = ((*mbox_addr & TDC_MBL_MASK) >> TDC_MBL_SHIFT);
TDC_MBL_MASK) >> TDC_MBL_SHIFT);