Look for the right ACPI signature.

Submitted by:	dfr
This commit is contained in:
Mike Smith 1999-09-10 08:49:19 +00:00
parent 45dde9cda4
commit c3c011f933
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=51121
2 changed files with 2 additions and 2 deletions

View file

@ -138,7 +138,7 @@ bios32_init(void *junk)
if (bootverbose) {
/* look for other know signatures */
printf("Other BIOS signatures found:\n");
printf("ACPI: %08x\n", bios_sigsearch(0, "RST PTR", 8, 16, 0));
printf("ACPI: %08x\n", bios_sigsearch(0, "RSD PTR ", 8, 16, 0));
}
}

View file

@ -138,7 +138,7 @@ bios32_init(void *junk)
if (bootverbose) {
/* look for other know signatures */
printf("Other BIOS signatures found:\n");
printf("ACPI: %08x\n", bios_sigsearch(0, "RST PTR", 8, 16, 0));
printf("ACPI: %08x\n", bios_sigsearch(0, "RSD PTR ", 8, 16, 0));
}
}