Symbol: psp_guest_shutdown
sys/dev/ic/psp.c
788
psp_guest_shutdown(struct psp_softc *sc, struct psp_guest_shutdown *ugshutdown)
sys/dev/ic/pspvar.h
250
struct psp_guest_shutdown {
usr.sbin/vmd/psp.c
292
psp_guest_shutdown(uint32_t handle)