Symbol: CALLBACKTYPE_nmi
usr/src/uts/i86xpv/os/xen_machdep.c
266
type != CALLBACKTYPE_nmi)
usr/src/uts/i86xpv/os/xen_machdep.c
287
xen_set_callback(nmiint, CALLBACKTYPE_nmi, 0);