diff options
author | phk <phk@FreeBSD.org> | 1997-09-24 07:47:43 +0000 |
---|---|---|
committer | phk <phk@FreeBSD.org> | 1997-09-24 07:47:43 +0000 |
commit | f8d384b0f81791420540de47a3561fe77797a26a (patch) | |
tree | 29777ab8c9fe75c5b3086ba5d00ca9646bd22971 | |
parent | 4d1dd5bc330562db34cd9491a9bfdec784616c69 (diff) | |
download | FreeBSD-src-f8d384b0f81791420540de47a3561fe77797a26a.zip FreeBSD-src-f8d384b0f81791420540de47a3561fe77797a26a.tar.gz |
Look for another couple of magic bios things..
-rw-r--r-- | sys/amd64/amd64/bios.c | 10 | ||||
-rw-r--r-- | sys/i386/i386/bios.c | 10 |
2 files changed, 16 insertions, 4 deletions
diff --git a/sys/amd64/amd64/bios.c b/sys/amd64/amd64/bios.c index a2cff33..2259d8e 100644 --- a/sys/amd64/amd64/bios.c +++ b/sys/amd64/amd64/bios.c @@ -23,7 +23,7 @@ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF * SUCH DAMAGE. * - * $Id: bios.c,v 1.4 1997/08/06 11:08:01 peter Exp $ + * $Id: bios.c,v 1.5 1997/09/01 01:12:50 bde Exp $ */ /* @@ -126,6 +126,7 @@ bios32_init(void *junk) } } + /* look for the DMI signature */ if ((sigaddr = bios_sigsearch(0, "_DMI_", 5, 16, 0)) != 0) { @@ -149,7 +150,12 @@ bios32_init(void *junk) printf("Bad DMI table checksum!\n"); } } - + if (bootverbose) { + /* look for other know signatures */ + printf("Other BIOS signatures found:\n"); + printf("ACPI: %08x\n", bios_sigsearch(0, "FACP", 4, 1, 0)); + printf("$PnP: %08x\n", bios_sigsearch(0, "$PnP", 4, 16, 0)); + } } /* diff --git a/sys/i386/i386/bios.c b/sys/i386/i386/bios.c index a2cff33..2259d8e 100644 --- a/sys/i386/i386/bios.c +++ b/sys/i386/i386/bios.c @@ -23,7 +23,7 @@ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF * SUCH DAMAGE. * - * $Id: bios.c,v 1.4 1997/08/06 11:08:01 peter Exp $ + * $Id: bios.c,v 1.5 1997/09/01 01:12:50 bde Exp $ */ /* @@ -126,6 +126,7 @@ bios32_init(void *junk) } } + /* look for the DMI signature */ if ((sigaddr = bios_sigsearch(0, "_DMI_", 5, 16, 0)) != 0) { @@ -149,7 +150,12 @@ bios32_init(void *junk) printf("Bad DMI table checksum!\n"); } } - + if (bootverbose) { + /* look for other know signatures */ + printf("Other BIOS signatures found:\n"); + printf("ACPI: %08x\n", bios_sigsearch(0, "FACP", 4, 1, 0)); + printf("$PnP: %08x\n", bios_sigsearch(0, "$PnP", 4, 16, 0)); + } } /* |