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/BUILD | |
| parent | 5d45f88f2c2840123e2f5ec2e45ac6d5b5a5729f (diff) | |
Handle mremap(old_size=0).
PiperOrigin-RevId: 201729703
Change-Id: I486900b0c6ec59533b88da225a5829c474e35a70
Diffstat (limited to 'pkg/sentry/inet/BUILD')
0 files changed, 0 insertions, 0 deletions