STDL_HIGH
st_debug(STDL_HIGH, lcol, "start from mapping at 0x%p,"
st_debug(STDL_HIGH, lcol, "advance, vicaddr %p, pdaddr"
st_debug(STDL_HIGH, lcol, "endaddr %p, *cur %d\n",
if (get_message_priority() < ((level == STDL_HIGH) ? RCM_DEBUG_HIGH
st_debug(STDL_HIGH, lcol, "done scanning; excess %lld\n",