Symbol: xen_uppc_setspl
usr/src/uts/i86xpv/io/psm/xpv_uppc.c
797
static void xen_uppc_setspl(int);
usr/src/uts/i86xpv/io/psm/xpv_uppc.c
809
xen_uppc_setspl(ipl);
usr/src/uts/i86xpv/io/psm/xpv_uppc.c
861
xen_uppc_setspl, /* psm_setspl */