i_cpr_save_stack
i_cpr_save_stack(curthread, wc_cpu);
static void i_cpr_save_stack(kthread_t *t, wc_cpu_t *wc_cpu);