diff options
Diffstat (limited to 'usr/src/uts/i86pc/os/fakebop.c')
| -rw-r--r-- | usr/src/uts/i86pc/os/fakebop.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/usr/src/uts/i86pc/os/fakebop.c b/usr/src/uts/i86pc/os/fakebop.c index 9379072264..a62e45d89d 100644 --- a/usr/src/uts/i86pc/os/fakebop.c +++ b/usr/src/uts/i86pc/os/fakebop.c @@ -26,7 +26,7 @@ * Copyright (c) 2010, Intel Corporation. * All rights reserved. * - * Copyright 2013 Joyent, Inc. All rights reserved. + * Copyright 2018 Joyent, Inc. All rights reserved. */ /* @@ -847,6 +847,12 @@ do_bsys_doint(bootops_t *bop, int intnum, struct bop_regs *rp) bios_regs_t br; /* + * We're about to disable paging; we shouldn't be PCID enabled. + */ + if (getcr4() & CR4_PCIDE) + prom_panic("do_bsys_doint() with PCID enabled\n"); + + /* * The first time we do this, we have to copy the pre-packaged * low memory bios call code image into place. */ |