PMAP_PREFER
#ifdef PMAP_PREFER
#if defined(PMAP_PREFER)
#ifdef PMAP_PREFER
PMAP_PREFER(0, &va, 0, 0); /* kernel is never topdown */
#ifdef PMAP_PREFER
PMAP_PREFER(uoffset, start, length, topdown);