marcel d6144c3ba3 Change LOG2_PAGE_SIZE from 14 to 15 bits. This will cause the CTASSERT ...

in vm_page.h to be reached and thus slightly increases the overall
coverage of LINT on ia64.

2003-08-25 20:02:18 +00:00

..

GENERIC

…

GENERIC.hints

…

Makefile

Add the bits for a LINT kernel. It has been verified to compile. We

2003-08-23 21:47:33 +00:00

NOTES

Change LOG2_PAGE_SIZE from 14 to 15 bits. This will cause the CTASSERT

2003-08-25 20:02:18 +00:00

SKI

Remove INVARIANT* and WITNESS. This makes the simulator much more

2003-07-25 07:52:20 +00:00