current_pmap
if (pmap != current_pmap()) {
current_pmap(void)
if (pmap != current_pmap()) {
current_pmap(void)
if (pmap == current_pmap()) {
iscurpmap = (pmap == current_pmap());
curpmap = current_pmap();
if (pmap == current_pmap())
static INLINE pmap_t current_pmap(void);