mm_io.h File Reference

Perform Memory-mapped I/O instrumentation. More...

#include <goto-programs/goto_model.h>

Include dependency graph for mm_io.h:

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 &
	)

Definition at line 108 of file mm_io.cpp.

mm_io() [2/2]

void mm_io

(

goto_modelt &

)

Definition at line 130 of file mm_io.cpp.