Symbol: octcit_splx
sys/arch/octeon/dev/octcit.c
116
void octcit_splx(int);
sys/arch/octeon/dev/octcit.c
198
register_splx_handler(octcit_splx);