]> Zhao Yanbai Git Server - minix.git/commit
Improve memory pinning.
authorCristiano Giuffrida <cristiano@minix3.org>
Thu, 1 Jul 2010 08:54:25 +0000 (08:54 +0000)
committerCristiano Giuffrida <cristiano@minix3.org>
Thu, 1 Jul 2010 08:54:25 +0000 (08:54 +0000)
commit9e4312453dc2b64482469060a202c0f1c946c690
tree11e87501517291929886a0b9793313fbe4a616b4
parent4690e8b0159c8972521618c7f2f0f56fb9aa3725
Improve memory pinning.
servers/rs/manager.c
servers/vm/region.c