exec_onexec_old
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
.sv_onexec_old = exec_onexec_old,
void exec_onexec_old(struct thread *td);