Symbol: xive_setipl
sys/arch/powerpc64/dev/xive.c
156
void xive_setipl(int);
sys/arch/powerpc64/dev/xive.c
231
_setipl = xive_setipl;