FBNIC_IPC_MBX_DESC_LEN
((((mbx_idx) * FBNIC_IPC_MBX_DESC_LEN + (desc_idx)) * 2) + 0x6000)
for (i = 0; i < FBNIC_IPC_MBX_DESC_LEN; i++) {
if (mbx->head == ((tail + 1) % FBNIC_IPC_MBX_DESC_LEN))
mbx->tail = (tail + 1) % FBNIC_IPC_MBX_DESC_LEN;
head = (head + 1) & (FBNIC_IPC_MBX_DESC_LEN - 1);
tail = (tail + 1) & (FBNIC_IPC_MBX_DESC_LEN - 1);
for (i = FBNIC_IPC_MBX_DESC_LEN; i--;)
count = (head - tail - 1) & (FBNIC_IPC_MBX_DESC_LEN - 1);
head %= FBNIC_IPC_MBX_DESC_LEN;
for (desc_idx = FBNIC_IPC_MBX_DESC_LEN; --desc_idx;)
} buf_info[FBNIC_IPC_MBX_DESC_LEN];