HelenOS sources

rtl8139_hw_set_addr  459 uspace/drv/nic/rtl8139/driver.c 	rtl8139_hw_set_addr(rtl8139, &addr);
rtl8139_hw_set_addr 1357 uspace/drv/nic/rtl8139/driver.c 	rtl8139_hw_set_addr(rtl8139, addr);
HelenOS homepage, sources at GitHub