> This block should read:
>
>        if (pmap->pm_asid != PMAP_ASID_RESERVED &&
>            pmap->pm_asidgen == pmap_asid_generation) {
>                /*
>                 * We can continue to use the same ASID we
>                 * already have.
>                 */
>                return;
>        }

Ahh, of course, it should have been written so.  Thank you, Jason.
The whole picture is mimick of NetBSD/alpha as you know. 

Tohru Nishimura