diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-12-17 01:43:12 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-12-17 01:43:12 +0100 |
| commit | 7de9687dfa5ede32bff268c9b9b712939dc7f5c9 (patch) | |
| tree | b838457c446fc608ed8a6ab457f2d77f320128df /examples/cfg.rs | |
| parent | 313a2074d75dd2611f3c37c44542c54afcbe8815 (diff) | |
note that entering / leaving a critical section is always constant time
Diffstat (limited to 'examples/cfg.rs')
0 files changed, 0 insertions, 0 deletions