Symbol: pvbus_reboot
sys/dev/pv/pvvar.h
84
void pvbus_reboot(struct device *);
sys/dev/pv/vmmci.c
177
pvbus_reboot(&sc->sc_dev);
sys/dev/pv/vmt.c
743
pvbus_reboot(&sc->sc_dev);
sys/dev/pv/xen.c
233
pvbus_reboot(&sc->sc_dev);