diff options
| author | Adin Scannell <ascannell@google.com> | 2018-06-11 18:14:22 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-06-11 18:15:14 -0700 |
| commit | 1397a413b49d6036f2586e85c8074aa3d4d6c6fa (patch) | |
| tree | 7bb617429fe26dfdc47bc02bab8d74eb621775e6 /pkg/sentry/uniqueid | |
| parent | 09b0a9c320bd777bc52384bd0ec91ecfc61e481d (diff) | |
Make page tables split-safe.
In order to minimize the likelihood of exit during page table
modifications, make the full set of page table functions split-safe.
This is not strictly necessary (and you may still incur splits due to
allocations from the allocator pool) but should make retries a very rare
occurance.
PiperOrigin-RevId: 200146688
Change-Id: I8fa36aa16b807beda2f0b057be60038258e8d597
Diffstat (limited to 'pkg/sentry/uniqueid')
0 files changed, 0 insertions, 0 deletions