DO_XXLOCK_ONEBLOCK_UNLOCK
} else if (thunk == DO_XXLOCK_ONEBLOCK_UNLOCK) {
ofs, len, DO_XXLOCK_ONEBLOCK_UNLOCK);
DO_XXLOCK_ONEBLOCK_UNLOCK);