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