pintos-os.org Git - pintos-anon/blob - src/misc/bochs-2.2.6-paranoia.patch

   1 Index: bochs-2.2.6/iodev/hdimage.h
   2 diff -u bochs-2.2.6/iodev/hdimage.h\~ bochs-2.2.6/iodev/hdimage.h
   3 --- bochs-2.2.6/iodev/hdimage.h~ 2005-11-06 03:07:01.000000000 -0800
   4 +++ bochs-2.2.6/iodev/hdimage.h 2006-09-28 15:55:50.000000000 -0700
   5 @@ -273,14 +273,8 @@ class sparse_image_t : public device_ima
   6
   7   void panic(const char * message);
   8   off_t
   9 -#ifndef PARANOID
  10 -       sparse_image_t::
  11 -#endif
  12                         get_physical_offset();
  13   void
  14 -#ifndef PARANOID
  15 -       sparse_image_t::
  16 -#endif
  17                         set_virtual_page(Bit32u new_virtual_page);
  18   void read_header();
  19   ssize_t read_page_fragment(Bit32u read_virtual_page, Bit32u read_page_offset, size_t read_size, void * buf);