MBOX_BUSY_WAIT
if (max_mbox_busy_wait > MBOX_BUSY_WAIT)
max_mbox_busy_wait = MBOX_BUSY_WAIT;
static unsigned short int max_mbox_busy_wait = MBOX_BUSY_WAIT;
static unsigned int max_mbox_busy_wait = MBOX_BUSY_WAIT;