HelenOS sources

TIMERINT          759 uspace/drv/nic/rtl8139/driver.c 	pio_write_32(rtl8139->io_port + TIMERINT, timer_val);
TIMERINT         2096 uspace/drv/nic/rtl8139/driver.c 		pio_write_32(rtl8139->io_port + TIMERINT, 10);