armv7_context_switch
.cf_context_switch = armv7_context_switch,
void armv7_context_switch(u_int, tlb_asid_t);
void armv7_context_switch(u_int);