diff options
| author | lloyd <[email protected]> | 2011-06-07 14:05:43 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2011-06-07 14:05:43 +0000 |
| commit | a610b07bc87d7a64c396ee52909204605c48b6df (patch) | |
| tree | 521bfaf66c37c359fcf27fcfd007b250553a44fc /src/mutex | |
| parent | 100ddd76eba1392901577efe8cc191af9df18712 (diff) | |
Add (compile-time) toggle for fault protection checking in the PK
benchmarks
Diffstat (limited to 'src/mutex')
0 files changed, 0 insertions, 0 deletions