wait_if_area_is_wired
} while (wait_if_area_is_wired(area, &locker, &cacheLocker));
if (wait_if_area_is_wired(otherArea, &locker, &cacheLocker)) {
if (wait_if_area_is_wired(area, &locker, &cacheLocker))