d/freebsd-nq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add support for -v option passed to boot loader (bootverbose).

Browse Source 
Reviewed by:
Submitted by:
Obtained from:
This commit is contained in:
Stefan Eßer 1994-12-22 21:20:39 +00:00
parent 68d2fa1f21
commit 9a3c07de07
2 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
sys/i386/pci/pcisupport.c
View File

@ -1,6 +1,6 @@
/**************************************************************************
**
** $Id: pcisupport.c,v 1.4 1994/10/17 21:11:31 phk Exp $
** $Id: pcisupport.c,v 1.5 1994/10/25 18:45:19 se Exp $
**
** Device driver for INTEL PCI chipsets.
**
@ -54,6 +54,9 @@
#include <i386/pci/pcireg.h>
extern void printf();
extern int bootverbose;
/*---------------------------------------------------------
**
@ -258,7 +261,7 @@ static void writeconfig(pcici_t config_id, struct condmsg *tbl)
void chipset_attach(pcici_t config_id, int unit)
{
#ifdef PROBE_VERBOSE
if (bootverbose) {
switch (pci_conf_read (config_id, 0)) {
case 0x04838086:
@ -275,7 +278,7 @@ void chipset_attach(pcici_t config_id, int unit)
pci_conf_read (config_id, 0x54));
break;
};
#endif
}
}
/*---------------------------------------------------------

9
sys/pci/pcisupport.c
View File

@ -1,6 +1,6 @@
/**************************************************************************
**
** $Id: pcisupport.c,v 1.4 1994/10/17 21:11:31 phk Exp $
** $Id: pcisupport.c,v 1.5 1994/10/25 18:45:19 se Exp $
**
** Device driver for INTEL PCI chipsets.
**
@ -54,6 +54,9 @@
#include <i386/pci/pcireg.h>
extern void printf();
extern int bootverbose;
/*---------------------------------------------------------
**
@ -258,7 +261,7 @@ static void writeconfig(pcici_t config_id, struct condmsg *tbl)
void chipset_attach(pcici_t config_id, int unit)
{
#ifdef PROBE_VERBOSE
if (bootverbose) {
switch (pci_conf_read (config_id, 0)) {
case 0x04838086:
@ -275,7 +278,7 @@ void chipset_attach(pcici_t config_id, int unit)
pci_conf_read (config_id, 0x54));
break;
};
#endif
}
}
/*---------------------------------------------------------