os_mem_free
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(ret, sizeof(os_vmspace_t));
os_mem_free(ret, sizeof(os_vmspace_t));
os_mem_free(vm, sizeof(os_vmspace_t));
os_mem_free(ret, sizeof(os_vmobj_t));
os_mem_free(vmobj, sizeof(os_vmobj_t));
os_mem_free(cookie, sizeof(struct nvmm_owner));
os_mem_free(mach->machdata, sizeof(struct svm_machdata));
os_mem_free(svm_asidmap, allocsz);
os_mem_free(hsave, 0);
os_mem_free(mach->machdata, sizeof(struct vmx_machdata));
os_mem_free(vmx_asidmap, allocsz);
os_mem_free(vmxoncpu, 0);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(data, allocsz);
os_mem_free(ret, sizeof(os_vmspace_t));
os_mem_free(ret, sizeof(os_vmspace_t));
os_mem_free(vm, sizeof(os_vmspace_t));
os_mem_free(ret, sizeof(os_vmobj_t));
os_mem_free(vmobj, sizeof(os_vmobj_t));
os_mem_free(cookie, sizeof(struct nvmm_owner));
os_mem_free(mach->machdata, sizeof(struct svm_machdata));
os_mem_free(svm_asidmap, allocsz);
os_mem_free(hsave, 0);
os_mem_free(mach->machdata, sizeof(struct vmx_machdata));
os_mem_free(vmx_asidmap, allocsz);
os_mem_free(vmxoncpu, 0);