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/devices/ttydev/BUILD | |
| 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/devices/ttydev/BUILD')
0 files changed, 0 insertions, 0 deletions