void rtl8139_init(void);