diff options
| author | Jamie Liu <jamieliu@google.com> | 2018-12-18 13:49:22 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-12-18 13:50:33 -0800 |
| commit | 898838e34d1b0c76405f3e7f7f5fa7f1a444da0e (patch) | |
| tree | 1df651c9cd69b5bc68cc750f2366cfd70eaee0d1 /.github | |
| parent | 0759f3afee5b02d1f43b54f90111086cdc78338e (diff) | |
Fix mremap expansion with mm.checkInvariants = true.
Also remove useless RSS changes in mm.movePMAsLocked().
PiperOrigin-RevId: 226052996
Change-Id: If59fd259b93238fb2f15c1c8ebfeda14cb590a87
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions