L4Sys: consult instruction list for breakpoints

Change-Id: Ic8163cc84bad9b0074a9d6489127d0ef09eb3c21

src/experiments/l4-sys/experiment.hpp

@@ -123,14 +123,46 @@ private:
 	 */
 	void goldenRun(fail::BPSingleListener* bp);
 
+	/**
+	 * Check that all required setup has been done before an experiment run.
+	 */
 	void validatePrerequisites();
+
+	/**
+	 * Load job parameters for an experiment.
+	 */
 	void getJobParameters();
+
+	/**
+	 * Read the golden run output into the target string.
+	 */
 	void readGoldenRun(std::string& target);
 
+	/*
+	 * Prepare memory experiment. Creates a breakpoint to run until the
+	 * injection location.
+	 */
 	fail::BPSingleListener* prepareMemoryExperiment(int ip, int offset, int dataAddress);
+
+	/*
+	 * Prepare register experiment. Creates a breakpoint to run until the
+	 * injection location.
+	 */
 	fail::BPSingleListener* prepareRegisterExperiment(int ip, int offset, int dataAddress);
+	
+	/**
+	 * Perform memory bit flip at (address, bit).
+	 */
 	void doMemoryInjection(int address, int bit);
+	
+	/**
+	 * Perform register bit flip in the specified (register, bit)
+	 * combination.
+	 */
 	void doRegisterInjection(int regDesc, int bit);
+	
+
+	void setupFilteredBreakpoint(fail::BPSingleListener* bp, int instOffset);
 };
 
 #endif // __L4SYS_EXPERIMENT_HPP__