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 /sys/pci | |
| 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 :-)
Diffstat (limited to 'sys/pci')
| -rw-r--r-- | sys/pci/pci.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |
