418 		device_printf(sc->sc_dev, "unable to set guest uptime\n");  in vmt_update_guest_uptime()
430 			device_printf(sc->sc_dev, "unable to set hostname\n");  in vmt_update_guest_info()
445 			device_printf(sc->sc_dev,  in vmt_update_guest_info()
456 			device_printf(sc->sc_dev, "unable to set guest OS\n");  in vmt_update_guest_info()
501 		device_printf(sc->sc_dev,  in vmt_tclo_state_change_success()
513 	device_printf(sc->sc_dev, "host requested shutdown\n");  in vmt_do_shutdown()
523 	device_printf(sc->sc_dev, "host requested reboot\n");  in vmt_do_reboot()
530 	device_printf(sc->sc_dev, "guest resuming from suspended state\n");  in vmt_do_resume()
541 		device_printf(sc->sc_dev, "error sending resume response\n");  in vmt_do_resume()
555 		device_printf(sc->sc_dev,  in vmt_shutdown()
560 		device_printf(sc->sc_dev, "failed to send shutdown ping\n");  in vmt_shutdown()
581 		device_printf(sc->sc_dev, "resetting rpc\n");  in vmt_tclo_reset()
589 		device_printf(sc->sc_dev, "failed to send reset reply\n");  in vmt_tclo_reset()
601 		device_printf(sc->sc_dev, "error sending ping response\n");  in vmt_tclo_ping()
626 		device_printf(sc->sc_dev, "error sending poweron response\n");  in vmt_tclo_poweron()
640 		device_printf(sc->sc_dev, "error sending suspend response\n");  in vmt_tclo_suspend()
659 		device_printf(sc->sc_dev, "unable to set unified loop\n");  in vmt_tclo_capreg()
663 		device_printf(sc->sc_dev,  in vmt_tclo_capreg()
670 		device_printf(sc->sc_dev,  in vmt_tclo_capreg()
675 		device_printf(sc->sc_dev,  in vmt_tclo_capreg()
681 		device_printf(sc->sc_dev, "unable to set tools version\n");  in vmt_tclo_capreg()
688 		device_printf(sc->sc_dev,  in vmt_tclo_capreg()
731 			device_printf(sc->sc_dev,  in vmt_tclo_broadcastip()
739 			device_printf(sc->sc_dev,  in vmt_tclo_broadcastip()
746 			device_printf(sc->sc_dev,  in vmt_tclo_broadcastip()
767 	device_printf(sc->sc_dev, "unknown command: \"%s\"\n", name);  in vmt_tclo_process()
788 			device_printf(sc->sc_dev,  in vmt_tclo_tick()
796 			device_printf(sc->sc_dev,  in vmt_tclo_tick()
807 			device_printf(sc->sc_dev,  in vmt_tclo_tick()
815 		device_printf(sc->sc_dev,  in vmt_tclo_tick()
830 		device_printf(sc->sc_dev,  in vmt_tclo_tick()
847 			device_printf(sc->sc_dev,  in vmt_tclo_tick()
1092 		device_printf(sc->sc_dev, "rpci channel open failed\n");  in vm_rpc_send_rpci_tx_buf()
1097 		device_printf(sc->sc_dev, "unable to send rpci command\n");  in vm_rpc_send_rpci_tx_buf()
1103 		device_printf(sc->sc_dev,  in vm_rpc_send_rpci_tx_buf()
1115 			device_printf(sc->sc_dev,  in vm_rpc_send_rpci_tx_buf()
1124 		device_printf(sc->sc_dev, "unable to close rpci channel\n");  in vm_rpc_send_rpci_tx_buf()
1141 		device_printf(sc->sc_dev,  in vm_rpc_send_rpci_tx()