pfn_is_foreign
(pfn_is_foreign(hat_getpfnum(kas.a_hat, va))))
ASSERT(!pfn_is_foreign(PTE2PFN(expected, ht->ht_level)));
ASSERT(!pfn_is_foreign(pfn));
if (pfn_is_foreign(pf))
if (kpm_enable && !pfn_is_foreign(pfn)) {
if (!kpm_enable || pfn_is_foreign(pfn)) {
ASSERT(!pfn_is_foreign(pfn));
uint_t pfn_is_foreign(pfn_t);