From 72415ca45476a013a28ca221b3026d46059ecef5 Mon Sep 17 00:00:00 2001 From: peter Date: Tue, 1 Feb 2000 18:02:12 +0000 Subject: Spell "pci_delete_resource" correctly. Approved by: jkh (who must be very sick of requests now :-) --- sys/pci/pci.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sys/pci') 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 -- cgit v1.1