This function is declared in the kos/queue.h file.
void KosQueuePush(KosQueueHandle queue, void *obj);
Adds the obj object to the end of the specified queue.
The obj pointer can be received by calling the KosQueueAlloc() or KosQueuePop() function.