The text a61aa16e5e63, as Debian 7 (Wheezy) shipped it.
generic MPU401-UART transmit irq handler
snd_mpu401_uart_interrupt_tx(9) on Linux now