From e7bc50ca8ffcaa6ed68ebd2315f78b0f5a7d10ad Mon Sep 17 00:00:00 2001 From: klaar36 Date: Fri, 20 Mar 2015 17:30:24 +0100 Subject: Initial Pintos --- src/misc/bochs-2.2.6-paranoia.patch | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/misc/bochs-2.2.6-paranoia.patch (limited to 'src/misc/bochs-2.2.6-paranoia.patch') diff --git a/src/misc/bochs-2.2.6-paranoia.patch b/src/misc/bochs-2.2.6-paranoia.patch new file mode 100644 index 0000000..ff8d736 --- /dev/null +++ b/src/misc/bochs-2.2.6-paranoia.patch @@ -0,0 +1,19 @@ +Index: bochs-2.2.6/iodev/hdimage.h +diff -u bochs-2.2.6/iodev/hdimage.h\~ bochs-2.2.6/iodev/hdimage.h +--- bochs-2.2.6/iodev/hdimage.h~ 2005-11-06 03:07:01.000000000 -0800 ++++ bochs-2.2.6/iodev/hdimage.h 2006-09-28 15:55:50.000000000 -0700 +@@ -273,14 +273,8 @@ class sparse_image_t : public device_ima + + void panic(const char * message); + off_t +-#ifndef PARANOID +- sparse_image_t:: +-#endif + get_physical_offset(); + void +-#ifndef PARANOID +- sparse_image_t:: +-#endif + set_virtual_page(Bit32u new_virtual_page); + void read_header(); + ssize_t read_page_fragment(Bit32u read_virtual_page, Bit32u read_page_offset, size_t read_size, void * buf); -- cgit v1.2.1