diff options
-rw-r--r-- | sys/dev/pci/pci.c | 2 | ||||
-rw-r--r-- | sys/pci/pci.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index 9c05ac5..ab051a6 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -1386,7 +1386,7 @@ pci_get_resource(device_t dev, device_t child, int type, int rid, static void pci_delete_resource(device_t dev, device_t child, int type, int rid) { - printf("pci_set_resource: PCI resources can not be deleted\n"); + printf("pci_delete_resource: PCI resources can not be deleted\n"); } static u_int32_t diff --git a/sys/pci/pci.c b/sys/pci/pci.c index 9c05ac5..ab051a6 100644 --- a/sys/pci/pci.c +++ b/sys/pci/pci.c @@ -1386,7 +1386,7 @@ pci_get_resource(device_t dev, device_t child, int type, int rid, static void pci_delete_resource(device_t dev, device_t child, int type, int rid) { - printf("pci_set_resource: PCI resources can not be deleted\n"); + printf("pci_delete_resource: PCI resources can not be deleted\n"); } static u_int32_t |