/* Retrieve IRQ number for the given hardware instance.  */
static uint8_t _usart_get_irq_num(const void *const hw)
/* Retrieve IRQ number for the given hardware instance.  */
static uint8_t _usart_get_irq_num(const void *const hw)
{
	ASSERT(hw);
	return USART0_IRQn + _usart_get_hardware_index(hw);
}