Why is this difference? Am I missing something here?
Another is that sys_mbox_post takes the pointer to the message. But the size of the message isn't passed. If the size of the message is passed in the buffer it self, it hasn't been documented. So, how does this work?
A couple of functions require that time spent waiting, be returned in milliseconds. How accurate should this be? What are the practical limits that you would suggest?