4 commits

Author	SHA1	Message	Date
Gareth Rees	d3d2795fce	Improve control over checking: ... 1. Where Type is a pointer type with a signature, replace CHECKL(TypeCheck(val)) with CHECKD(Type, val). 2. Where Type is a pointer type with no signature, replace CHECKL(TypeCheck(val)) with CHECKD_NOSIG(Type, val). 3. Where Type is a pointer type with a signature, but the structure is not visible at point of checking, replace CHECKL(TypeCheck(val)) with CHECKD_NOSIG(Type, val). Reference <design/check/#.hidden-type> 4. Make BTCheck extern and use it where possible. 5. Replace AVER(TypeCheck(val)) with AVERT(Type, val). Copied from Perforce Change: 185263 ServerID: perforce.ravenbrook.com	2014-04-06 22:51:05 +01:00
Richard Brooksby	121113c697	Fixing up the build on freebsd (fri3gc) ... Copied from Perforce Change: 184356 ServerID: perforce.ravenbrook.com	2014-02-17 17:00:08 +00:00
Richard Brooksby	4fc8971802	Minor updates in response to review. see https://info.ravenbrook.com/mail/2014/02/17/16-27-18/0/ ... Copied from Perforce Change: 184354 ServerID: perforce.ravenbrook.com	2014-02-17 16:45:12 +00:00
Richard Brooksby	bc47522ae2	Abstracting partially mapped page tables into a sparsearray abstract datatype, removing a great deal of complexity from the vm arena, and some unnecessary double-initialisation and scanning loops during allocation. ... Copied from Perforce Change: 184333 ServerID: perforce.ravenbrook.com	2014-02-12 17:32:20 +00:00