version 1.47, 2006/10/08 16:25:15 |
version 1.48, 2006/11/24 19:37:02 |
Line 380 extend_pgdir(size_t idx) |
|
Line 380 extend_pgdir(size_t idx) |
|
/* |
/* |
* NOTE: we allocate new pages and copy the directory rather than tempt |
* NOTE: we allocate new pages and copy the directory rather than tempt |
* fate by trying to "grow" the region.. There is nothing to prevent |
* fate by trying to "grow" the region.. There is nothing to prevent |
* us from accidently re-mapping space that's been allocated by our caller |
* us from accidentally re-mapping space that's been allocated by our caller |
* via dlopen() or other mmap(). |
* via dlopen() or other mmap(). |
* |
* |
* The copy problem is not too bad, as there is 4K of page index per |
* The copy problem is not too bad, as there is 4K of page index per |