KERNLAND_P
const bool user_p = (type & T_USER) || !KERNLAND_P(vaddr);
if (KERNLAND_P(vaddr))
KASSERT(KERNLAND_P(va) || curcpu()->ci_pmap_asid_cur != 0);
if (!KERNLAND_P(va))
if (KERNLAND_P(vaddr)) {