map->base_region.host_addr = (addr_t)V3_AllocPages(mem_pages);
#endif
+ if ((void*)map->base_region.host_addr == NULL) {
+ PrintError("Could not allocate guest memory\n");
+ return -1;
+ }
+
// Clear the memory...
memset(V3_VAddr((void *)map->base_region.host_addr), 0, mem_pages * PAGE_SIZE_4KB);
map->base_region.unhandled = unhandled_err;
- if ((void *)map->base_region.host_addr == NULL) {
- PrintError("Could not allocate Guest memory\n");
- return -1;
- }
-
- //memset(V3_VAddr((void *)map->base_region.host_addr), 0xffffffff, map->base_region.guest_end);
-
v3_register_hypercall(vm, MEM_OFFSET_HCALL, mem_offset_hypercall, NULL);
return 0;
}
entry = (struct v3_mem_region *)V3_Malloc(sizeof(struct v3_mem_region));
+
+ if (!entry) {
+ PrintError("Cannot allocate in creating a memory region\n");
+ return NULL;
+ }
+
memset(entry, 0, sizeof(struct v3_mem_region));
entry->guest_start = guest_addr_start;