/* Put interrupt request in netif queue for later processing.  */
void os_hook_isr(void)
/* Put interrupt request in netif queue for later processing.  */
void os_hook_isr(void)
{
	signed portBASE_TYPE woken = pdFALSE;
	hif_msg_t msg;
	msg.id = MSG_RX;
	msg.pbuf = NULL;
	msg.payload_size = 0;
	msg.payload = NULL;
	if (xQueueSendFromISR(hif_queue, &msg, &woken) != pdTRUE) {
		osprintf("os_hook_isr: queue full error!\n");
	}
	else {
		os_hif_task_msg_post_counter_rx++;
		portEND_SWITCHING_ISR(woken);
	}
}