__machine__new_host
return __machine__new_host(host_env, /*kernel_maps=*/true);
struct machine *machine = __machine__new_host(host_env, kernel_maps);