HERMON_NUM_MAILBOXES_SHIFT
uint32_t hermon_log_num_inmbox = HERMON_NUM_MAILBOXES_SHIFT;
uint32_t hermon_log_num_outmbox = HERMON_NUM_MAILBOXES_SHIFT;