Correctly initialize the esp0 pointer in the TSS for the initial
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 23 Apr 2007 00:05:33 +0000 (00:05 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 23 Apr 2007 00:05:33 +0000 (00:05 +0000)
commit9a602e952252dbfb1332f5137dd7c33a21b6fc6d
tree0b7f4197364a95751538808c7e04192692b03294
parente48bfc15bb4241e1df3b32d8e4aca6a34efea6c3
Correctly initialize the esp0 pointer in the TSS for the initial
kernel thread.  Shouldn't actually matter in practice, because that
pointer is only used on a user->kernel transition, and the initial
kernel thread never runs a user process.

Reported by Godmar Back.
src/userprog/process.c
src/userprog/tss.c
src/userprog/tss.h