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