machines__destroy_kernel_maps
void machines__destroy_kernel_maps(struct machines *machines);
machines__destroy_kernel_maps(&session->machines);