Get rid of power_off_when_done global variable.
[pintos-anon] / src / userprog / tss.h
2007-04-23 Ben PfaffCorrectly initialize the esp0 pointer in the TSS for...
2004-09-06 Ben PfaffFix up header guards.
2004-09-02 Ben PfaffMove user exception support into userprog.