Rename execute_thread() to start_process().
[pintos-anon] / src / threads / intr-stubs.S
2007-03-24 Ben PfaffRename execute_thread() to start_process().
2005-12-21 Ben PfaffComments.
2005-12-21 Ben PfaffUse AT&T syntax instead of Intel.
2005-01-21 Ben PfaffSet up a frame pointer on interrupt entry, to improve...