diff options
| author | l0stman <[email protected]> | 2020-11-10 08:31:16 +0300 |
|---|---|---|
| committer | Frans Kaashoek <[email protected]> | 2021-08-31 14:20:32 -0400 |
| commit | 91951429599eb21130432d1802f7bd1b1b7cbd61 (patch) | |
| tree | 542715d832e6e3ded14e40f1f250152414ece374 /user | |
| parent | f55def8a64f5b5faa7373ba5e35c318cc4ea666f (diff) | |
| download | xv6-labs-91951429599eb21130432d1802f7bd1b1b7cbd61.tar.gz xv6-labs-91951429599eb21130432d1802f7bd1b1b7cbd61.tar.bz2 xv6-labs-91951429599eb21130432d1802f7bd1b1b7cbd61.zip | |
Assert that the size in mappages() is always positive
If va % PGSIZE == 0 and size == 0, we have last < a at the start of
the loop so we might never terminate. That being said, this
particular case couldn't be triggered for now.
Diffstat (limited to 'user')
0 files changed, 0 insertions, 0 deletions