pintos-os.org Git - pintos-anon/blob - grading/vm/mmap-exit.exp

   1 (mmap-exit) begin
   2 (mmap-exit) run child
   3 (child-mm-wrt) begin
   4 (child-mm-wrt) end
   5 (mmap-exit) child finished
   6 (mmap-exit) end