diff options
| author | Robert Morris <[email protected]> | 2020-10-04 13:29:04 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2020-10-04 13:29:04 -0400 |
| commit | da002a48fbbf69a0d965755d9f6b66817e8a15a5 (patch) | |
| tree | 7367831972021c4e3215e03cc3f508234b4e34ea /user | |
| parent | 792d60e91224bc15ce41aaff2560a82b63fdf06f (diff) | |
| download | xv6-labs-da002a48fbbf69a0d965755d9f6b66817e8a15a5.tar.gz xv6-labs-da002a48fbbf69a0d965755d9f6b66817e8a15a5.tar.bz2 xv6-labs-da002a48fbbf69a0d965755d9f6b66817e8a15a5.zip | |
don't unpin if recovering -- the resulting negative refcnt suppresses next unpin
Diffstat (limited to 'user')
0 files changed, 0 insertions, 0 deletions