wait_if_area_range_is_wired
if (wait_if_area_range_is_wired(area, base, size, locker, &cacheLocker))
if (wait_if_area_range_is_wired(current,
if (wait_if_area_range_is_wired(area, currentAddress, rangeSize,