diff options
author | Jamie Liu <jamieliu@google.com> | 2018-06-22 13:07:21 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-06-22 13:08:38 -0700 |
commit | fe3fc44da3ca47fa27d55294e6c31d51b6b5dc14 (patch) | |
tree | 3e32a0ffd421911c871764019a09490e1b467a0f /pkg/sentry/inet | |
parent | 5d45f88f2c2840123e2f5ec2e45ac6d5b5a5729f (diff) |
Handle mremap(old_size=0).
PiperOrigin-RevId: 201729703
Change-Id: I486900b0c6ec59533b88da225a5829c474e35a70
Diffstat (limited to 'pkg/sentry/inet')
0 files changed, 0 insertions, 0 deletions