diff options
author | Brian <[email protected]> | 2007-10-20 15:45:24 -0600 |
---|---|---|
committer | Brian <[email protected]> | 2007-10-20 15:45:24 -0600 |
commit | 7c8b2f7ce33a672a90de8000bcbf15ec764e9d85 (patch) | |
tree | 236217dec256b978248a3d926327de0042f97622 /Makefile.DJ | |
parent | bb3d61551c8bb3fc60ca48bd2394d4ba7ba004d2 (diff) |
In region_unmap(), check if region is mapped before decrementing refcount.
Diffstat (limited to 'Makefile.DJ')
0 files changed, 0 insertions, 0 deletions