Symbol: octciu_splx
sys/arch/octeon/dev/octciu.c
122
void octciu_splx(int);
sys/arch/octeon/dev/octciu.c
200
register_splx_handler(octciu_splx);