ARCMSR_MAX_HBB_POSTQUEUE
ending_index = ((index+1)%ARCMSR_MAX_HBB_POSTQUEUE);
index %= ARCMSR_MAX_HBB_POSTQUEUE;
for (i = 0; i < ARCMSR_MAX_HBB_POSTQUEUE; i++) {
index %= ARCMSR_MAX_HBB_POSTQUEUE;
index %= ARCMSR_MAX_HBB_POSTQUEUE;
uint32_t post_qbuffer[ARCMSR_MAX_HBB_POSTQUEUE];
uint32_t done_qbuffer[ARCMSR_MAX_HBB_POSTQUEUE];