tree ac0a0f85b2930d975e726133ecdad01293ce5362
parent 62b9e60815d4f05918c3ac58055522547c1ebbe1
author David 'Digit' Turner <digit@google.com> 1398345307 +0200
committer David 'Digit' Turner <digit@google.com> 1405690303 +0200

tb_flush_jmp_cache takes a CPUState* argument

Change-Id: I555670766a15fd1bbf7a0256151d3d8454bd0d71