machines__create_kernel_maps
machines__create_kernel_maps(machines, DEFAULT_GUEST_KERNEL_ID);
machines__create_kernel_maps(machines, pid);
int machines__create_kernel_maps(struct machines *machines, pid_t pid);