write_c0_context
write_c0_context((unsigned long) smp_processor_id() << \
write_c0_context(ctx->cp0_regs[CONTEXT]);