even though man page says otherwise, addr and len to mprotect must be page-aligned...
authorjjenista <jjenista>
Thu, 28 Oct 2010 01:01:24 +0000 (01:01 +0000)
committerjjenista <jjenista>
Thu, 28 Oct 2010 01:01:24 +0000 (01:01 +0000)
commit499cb894e4d95e8f7090ff7603d2c750c48223ef
tree45c7c34b6eb53ae73aa26aa3cc0b2f49e68250cb
parent925aedded5c0379bbaebe532733365ec97ec3362
even though man page says otherwise, addr and len to mprotect must be page-aligned and page multiple
Robust/src/Benchmarks/oooJava/micro-master-makefile
Robust/src/Benchmarks/oooJava/micro4/test.java
Robust/src/Runtime/memPool.h