|
@@ -42,6 +42,7 @@
|
42
|
42
|
#include "nic.h"
|
43
|
43
|
/* to get the PCI support functions, if this is a PCI NIC */
|
44
|
44
|
#include <gpxe/pci.h>
|
|
45
|
+#include <gpxe/ethernet.h>
|
45
|
46
|
#include "timer.h"
|
46
|
47
|
|
47
|
48
|
/* #define EDEBUG 1 */
|
|
@@ -487,7 +488,7 @@ static int dmfe_probe ( struct nic *nic, struct pci_device *pci ) {
|
487
|
488
|
nic->node_addr[i] = db->srom[20 + i];
|
488
|
489
|
|
489
|
490
|
/* Print out some hardware info */
|
490
|
|
- printf("%s: %! at ioaddr %hX\n", pci->name, nic->node_addr, BASE);
|
|
491
|
+ DBG ( "%s: %s at ioaddr %4.4lx\n", pci->name, eth_ntoa ( nic->node_addr ), BASE );
|
491
|
492
|
|
492
|
493
|
/* Set the card as PCI Bus Master */
|
493
|
494
|
adjust_pci_device(pci);
|