Symbol: VMMCI_REBOOT
sys/dev/pv/vmmci.c
34
VMMCI_REBOOT,
usr.sbin/vmd/virtio.h
317
VMMCI_REBOOT,