Symbol: __ipltospl
usr/src/uts/common/disp/fx.c
1830
return ((void *)(uintptr_t)__ipltospl(DISP_LEVEL));
usr/src/uts/common/io/busra.c
166
(void *)(intptr_t)__ipltospl(SPL7 - 1));
usr/src/uts/common/sys/systm.h
290
int __ipltospl(int);