__ipltospl
return ((void *)(uintptr_t)__ipltospl(DISP_LEVEL));
(void *)(intptr_t)__ipltospl(SPL7 - 1));
int __ipltospl(int);