Module adapters 

Functions

memory_read_deferral

memory_write_deferral

timed_read_deferral

Atomic read operation which increments the timestamp by 1. Returns (t_prev, [ptr:BLOCK_SIZE]_4) where t_prev is the timestamp of the last memory access.

timed_write_deferral

tracing_read_deferral

Reads register value at ptr from memory and records the previous timestamp. Reads are only done from address space [DEFERRAL_AS].

tracing_write_deferral

Writes ptr, vals into memory and records the previous timestamp and data. Writes are only done to address space [DEFERRAL_AS].