Symbol: xen_psm_setspl
usr/src/uts/i86xpv/io/psm/xpv_psm.c
112
static void xen_psm_setspl(int);
usr/src/uts/i86xpv/io/psm/xpv_psm.c
1645
xen_psm_setspl, /* psm_setspl */
usr/src/uts/i86xpv/io/psm/xpv_psm.c
581
xen_psm_setspl(ipl);