PMAP_TLB_FLUSH_ASID_ON_RESET
if (PMAP_TLB_FLUSH_ASID_ON_RESET) {
if (PMAP_TLB_FLUSH_ASID_ON_RESET
KASSERTMSG(PMAP_TLB_FLUSH_ASID_ON_RESET