PMAP_ASN_RESERVED
pmap->pm_asni[i].pma_asn = PMAP_ASN_RESERVED;
KASSERT(pmap->pm_asni[cpu_id].pma_asn == PMAP_ASN_RESERVED);
pma->pma_asn = PMAP_ASN_RESERVED;
KASSERT(pma->pma_asn == PMAP_ASN_RESERVED);
if (pma->pma_asn != PMAP_ASN_RESERVED &&
if (__pma->pma_asn != PMAP_ASN_RESERVED) { \
if (__pma->pma_asn == PMAP_ASN_RESERVED) { \
(pmap)->pm_asni[(cpu_id)].pma_asn = PMAP_ASN_RESERVED; \
pmap_kernel()->pm_asni[i].pma_asn = PMAP_ASN_RESERVED;