Symbol: XDT_SCHED_SHUTDOWN_REBOOT
usr/src/uts/common/xen/dtrace/xdt.c
384
{ "sched", "shutdown-reboot", XDT_SCHED_SHUTDOWN_REBOOT, XDT_SCHED },
usr/src/uts/common/xen/dtrace/xdt.c
856
eid = XDT_SCHED_SHUTDOWN_REBOOT;