- made its way to the sources

Changed files:
    bochs-instrumentation.patch -> 1.2

diff --git a/bochs-instrumentation.patch b/bochs-instrumentation.patch
deleted file mode 100644 (file)
index c0b2d3e..0000000
--- a/bochs-instrumentation.patch
+++ /dev/null
@@ -1,16 +0,0 @@
-diff -u -r1.17 -r1.18
---- bochs/instrument/stubs/instrument.h        29 Apr 2005 21:28:59 -0000      1.17
-+++ bochs/instrument/stubs/instrument.h        31 May 2005 04:47:50 -0000      1.18
-@@ -80,9 +80,9 @@
- void bx_instr_cache_cntrl(unsigned cpu, unsigned what);
- void bx_instr_prefetch_hint(unsigned cpu, unsigned what, unsigned seg, bx_address offset);
- 
--void bx_instr_before_execution(unsigned cpu);
--void bx_instr_after_execution(unsigned cpu);
--void bx_instr_repeat_iteration(unsigned cpu);
-+void bx_instr_before_execution(unsigned cpu, const bxInstruction_c *i);
-+void bx_instr_after_execution(unsigned cpu, const bxInstruction_c *i);
-+void bx_instr_repeat_iteration(unsigned cpu, const bxInstruction_c *i);
- 
- void bx_instr_inp(Bit16u addr, unsigned len);
- void bx_instr_outp(Bit16u addr, unsigned len);