{
if (os_validate((os_vm_address_t)start,(os_vm_size_t)size)==NULL) {
fprintf(stderr,
"ensure_space: failed to validate %ld bytes at 0x%08lx\n",
size,
{
if (os_validate((os_vm_address_t)start,(os_vm_size_t)size)==NULL) {
fprintf(stderr,
"ensure_space: failed to validate %ld bytes at 0x%08lx\n",
size,