diff options
| author | Adin Scannell <ascannell@google.com> | 2018-10-30 22:45:51 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-10-30 22:46:42 -0700 |
| commit | 0091db9cbddb6c9fb4c96fbde980780c98006eda (patch) | |
| tree | 0cb33cdebd9c93202780ab8a6a195b106d9e8eca /.gitignore | |
| parent | 245d81561b521bb94e3aa88fb704b967b023b0f1 (diff) | |
kvm: use private futexes.
Use private futexes for performance and to align with other runtime uses.
PiperOrigin-RevId: 219422634
Change-Id: Ief2af5e8302847ea6dc246e8d1ee4d64684ca9dd
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions