* use PATCHER_MARK_PATCHED_MONITOREXIT on exit
authortwisti <none@none>
Wed, 8 Jun 2005 19:26:04 +0000 (19:26 +0000)
committertwisti <none@none>
Wed, 8 Jun 2005 19:26:04 +0000 (19:26 +0000)
commit09a9f3b347957a11438176b0e2ad56ad6c8af57d
treeaffa9b5e96c31c2c8476b7087508d96fd2c117b8
parentafe88552faf9e23c9cf38cc046552828ae79612f
* use PATCHER_MARK_PATCHED_MONITOREXIT on exit
* use PATCHER_MONITOREXIT in exception case
src/vm/jit/alpha/patcher.c