I have a question about how ASID (== TLBpid, ASN) should be managed. Should kernel_pmap() be immune to bump ASID by pmap_asid_alloc()? (see mips/mips/pmap.c) Tohru Nishimura