diff options
author | peter <peter@FreeBSD.org> | 2000-02-01 18:02:12 +0000 |
---|---|---|
committer | peter <peter@FreeBSD.org> | 2000-02-01 18:02:12 +0000 |
commit | 72415ca45476a013a28ca221b3026d46059ecef5 (patch) | |
tree | abef20b6bb0c50cd065fed1a43767ccccb6b548b | |
parent | da75e44fbbcf9cef59f00199141afaf1ed5bbec8 (diff) | |
download | FreeBSD-src-72415ca45476a013a28ca221b3026d46059ecef5.zip FreeBSD-src-72415ca45476a013a28ca221b3026d46059ecef5.tar.gz |
Spell "pci_delete_resource" correctly.
Approved by: jkh (who must be very sick of requests now :-)
-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 |