diff options
| author | Peter Wemm <peter@FreeBSD.org> | 2000-02-01 18:02:12 +0000 |
|---|---|---|
| committer | Peter Wemm <peter@FreeBSD.org> | 2000-02-01 18:02:12 +0000 |
| commit | 483df2dd3bd56270fdf989d0ade735f5799290f3 (patch) | |
| tree | 605693d4b134650508798977fd3629a453ea2c2c | |
| parent | 1e8a96dc02e8f2b65b9b56bbff7231dab7207335 (diff) | |
Notes
| -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 9c05ac5b8f3d..ab051a6774cd 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 9c05ac5b8f3d..ab051a6774cd 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 |