Fixed the issue in print_processes(), now we can print all the guest processes: pid and process name.