VM_HIGHMEM
error = vm_alloc_memseg(ctx, VM_HIGHMEM, ctx->highmem, NULL);
error = setup_memory_segment(ctx, VM_HIGHMEM, gpa, len, baseaddr);