machine__destroy_kernel_maps
machine__destroy_kernel_maps(machine);
machine__destroy_kernel_maps(&machines->host);
machine__destroy_kernel_maps(machine);
machine__destroy_kernel_maps(machine);
void machine__destroy_kernel_maps(struct machine *machine);