diff options
Diffstat (limited to 'usr/src/uts/i86pc/vm/hat_i86.c')
-rw-r--r-- | usr/src/uts/i86pc/vm/hat_i86.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/src/uts/i86pc/vm/hat_i86.c b/usr/src/uts/i86pc/vm/hat_i86.c index dd07dc59f4..490c010a31 100644 --- a/usr/src/uts/i86pc/vm/hat_i86.c +++ b/usr/src/uts/i86pc/vm/hat_i86.c @@ -4143,6 +4143,7 @@ hat_kpm_pfn2va(pfn_t pfn) { uintptr_t vaddr = (uintptr_t)kpm_vbase + mmu_ptob(pfn); + ASSERT(!pfn_is_foreign(pfn)); return ((caddr_t)vaddr); } |