Hi Rafael, On 15/06/16 00:26, Rafael J. Wysocki wrote: > Does the arch code need to be annotated in a similar way too? Only if you do the restore copying from C, both 32bit and 64bit x86 do this copy in assembly code, which doesn't get instrumented. Thanks, James