As it was pointed by Idan Horowitz, the rest of the method doesn't assume we have any reserved ranges to allow mmap(2) to work on them, so the VERIFY is not needed at all.