summaryrefslogtreecommitdiffhomepage
path: root/runsc/boot
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2018-06-11 18:14:22 -0700
committerShentubot <shentubot@google.com>2018-06-11 18:15:14 -0700
commit1397a413b49d6036f2586e85c8074aa3d4d6c6fa (patch)
tree7bb617429fe26dfdc47bc02bab8d74eb621775e6 /runsc/boot
parent09b0a9c320bd777bc52384bd0ec91ecfc61e481d (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 'runsc/boot')
0 files changed, 0 insertions, 0 deletions