Symbol: ruxreset
sys/kern/init_main.c
672
ruxreset(&p->p_rux);
sys/kern/init_main.c
681
ruxreset(&td->td_rux);