Symbol: pmap_is_current
sys/arm/arm/pmap-v6.c
1870
pmap_is_current(pmap_t pmap)
sys/i386/i386/pmap.c
1485
pmap_is_current(pmap_t pmap)