diff options
Diffstat (limited to 'sys/amd64')
| -rw-r--r-- | sys/amd64/amd64/bios.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sys/amd64/amd64/bios.c b/sys/amd64/amd64/bios.c index 9357438..c620a2a 100644 --- a/sys/amd64/amd64/bios.c +++ b/sys/amd64/amd64/bios.c @@ -385,10 +385,11 @@ bios16(struct bios_args *args, char *fmt, ...) ptd = (pd_entry_t *)rcr3(); #ifdef PAE - if (ptd == IdlePDPT) { + if (ptd == IdlePDPT) #else - if (ptd == IdlePTD) { + if (ptd == IdlePTD) #endif + { /* * no page table, so create one and install it. */ |
