diff options
| author | Jamie Liu <jamieliu@google.com> | 2019-05-06 16:38:37 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-05-06 16:39:43 -0700 |
| commit | 14f0e7618e28dac78ca7b00ec61fcec062159009 (patch) | |
| tree | c013e3de320aff59850bee29f44be0fde8ea58a6 /pkg/tcpip/header | |
| parent | ff8ed5e6a5a391c5465230121af09afa5d1906e9 (diff) | |
Ensure all uses of MM.brk occur under MM.mappingMu in MM.Brk().
PiperOrigin-RevId: 246921386
Change-Id: I71d8908858f45a9a33a0483470d0240eaf0fd012
Diffstat (limited to 'pkg/tcpip/header')
0 files changed, 0 insertions, 0 deletions