mm_io.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	mm_io (const symbol_tablet &, goto_functionst &)
void	mm_io (goto_modelt &)

Detailed Description

Perform Memory-mapped I/O instrumentation

Definition in file mm_io.h.

Function Documentation

mm_io() [1/2]

void mm_io	(	const symbol_tablet &	,
		goto_functionst &
	)

mm_io() [2/2]

void mm_io

(

goto_modelt &

)

Definition at line 145 of file mm_io.cpp.