Index: trunk/i386/libsaio/device_inject.c
===================================================================
--- trunk/i386/libsaio/device_inject.c	(revision 2680)
+++ trunk/i386/libsaio/device_inject.c	(revision 2681)
@@ -425,7 +425,7 @@
 	return 1;
 }
 
-void set_eth_builtin(pci_dt_t *eth_dev)
+void setup_eth_builtin(pci_dt_t *eth_dev)
 {
 	char *devicepath = get_pci_dev_path(eth_dev);
 	DevPropDevice *device = NULL;
Index: trunk/i386/libsaio/pci_setup.c
===================================================================
--- trunk/i386/libsaio/pci_setup.c	(revision 2680)
+++ trunk/i386/libsaio/pci_setup.c	(revision 2681)
@@ -18,7 +18,7 @@
 extern bool setup_nvidia_devprop(pci_dt_t *nvda_dev);
 extern bool setup_gma_devprop(pci_dt_t *gma_dev);
 extern bool setup_hda_devprop(pci_dt_t *hda_dev);
-extern void set_eth_builtin(pci_dt_t *eth_dev);
+extern void setup_eth_builtin(pci_dt_t *eth_dev);
 extern void notify_usb_dev(pci_dt_t *pci_dev);
 extern void force_enable_hpet(pci_dt_t *lpc_dev);
 
@@ -55,7 +55,7 @@
 				DBG("Setup ETHERNET %s enabled\n", do_eth_devprop? "is":"is not");
 				if (do_eth_devprop)
 				{
-					set_eth_builtin(current);
+					setup_eth_builtin(current);
 				}
 				break; // PCI_CLASS_NETWORK_ETHERNET