diff --git a/src/experiments/l4-sys/experiment.cc b/src/experiments/l4-sys/experiment.cc index e1824eef..67280d8b 100644 --- a/src/experiments/l4-sys/experiment.cc +++ b/src/experiments/l4-sys/experiment.cc @@ -500,6 +500,9 @@ bool L4SysExperiment::run() { } while (which == UD_NONE); + // store the real injection point + param.msg.set_injection_ip(simulator.getRegisterManager().getInstructionPointer()); + // so we are able to flip the associated registers // for details on the algorithm, see Bjoern Doebel's SWIFI/RATFlip class