diff options
author | Andrei Vagin <avagin@google.com> | 2021-06-16 12:55:27 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-06-16 12:57:38 -0700 |
commit | 47149b7c4275ddd4404d86eddab6feab4f059ed3 (patch) | |
tree | e2ba5e462c9adc183231b4951f2d9cada834fb8c /pkg/sentry/hostmm | |
parent | 4add64d2b5dd369b61373de5f54e706e82d8ca0f (diff) |
kvm: mark UpperHalf PTE-s as global
UpperHalf is shared with all address spaces.
PiperOrigin-RevId: 379790539
Diffstat (limited to 'pkg/sentry/hostmm')
0 files changed, 0 insertions, 0 deletions