Spell "pci_delete_resource" correctly.

Approved by:	jkh (who must be very sick of requests now :-)
This commit is contained in:
peter 2000-02-01 18:02:12 +00:00
parent da75e44fbb
commit 72415ca454
2 changed files with 2 additions and 2 deletions

View File

@ -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

View File

@ -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