xscale_context_switch
.cf_context_switch = xscale_context_switch,
void xscale_context_switch (u_int);