diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2006-04-25 18:42:22 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2006-04-25 18:42:22 +0000 |
| commit | b5fd832d94bed02786da899c3158b44fbd7664fc (patch) | |
| tree | 15709962d69d655220071e75e79f1ee8fee425e1 /sys | |
| parent | fe401a7a9ac3b5eae16b9c51d05a116e72a66741 (diff) | |
Notes
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/boot/i386/libi386/biosacpi.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/boot/i386/libi386/biosacpi.c b/sys/boot/i386/libi386/biosacpi.c index cb20215611011..ccdd0be5547fc 100644 --- a/sys/boot/i386/libi386/biosacpi.c +++ b/sys/boot/i386/libi386/biosacpi.c @@ -30,6 +30,8 @@ __FBSDID("$FreeBSD$"); #include <stand.h> #include <machine/stdarg.h> #include <bootstrap.h> +#include <btxv86.h> +#include "libi386.h" #include "acfreebsd.h" #include "acconfig.h" @@ -93,7 +95,7 @@ biosacpi_find_rsdp(void) uint16_t *addr; /* EBDA is the 1 KB addressed by the 16 bit pointer at 0x40E. */ - addr = (uint16_t *)0x40E; + addr = (uint16_t *)PTOV(0x40E); if ((rsdp = biosacpi_search_rsdp((char *)(*addr << 4), 0x400)) != NULL) return (rsdp); @@ -113,7 +115,7 @@ biosacpi_search_rsdp(char *base, int length) /* search on 16-byte boundaries */ for (ofs = 0; ofs < length; ofs += 16) { - rsdp = (RSDP_DESCRIPTOR *)(base + ofs); + rsdp = (RSDP_DESCRIPTOR *)PTOV(base + ofs); /* compare signature, validate checksum */ if (!strncmp(rsdp->Signature, RSDP_SIG, strlen(RSDP_SIG))) { |