Thomas Veerman f09c2e014f Use MACHINE_ARCH instead of ARCH		2012-06-18 10:53:35 +00:00
..
arch_vmproc.h	Convert drivers/ and servers/ over to bsdmake	2010-03-22 21:25:22 +00:00
Makefile.inc	Use MACHINE_ARCH instead of ARCH	2012-06-18 10:53:35 +00:00
memory.h	exec() cleanup, generalization, improvement	2012-06-07 15:15:01 +02:00
pagefaults.h	Convert drivers/ and servers/ over to bsdmake	2010-03-22 21:25:22 +00:00
pagetable.c	retire PUBLIC, PRIVATE and FORWARD	2012-03-25 21:58:14 +02:00
pagetable.h	vm: include no-caching bits in PTF_ALLFLAGS for flags sanity check.	2010-04-13 11:08:08 +00:00
util.S	Macros for symbols used in both ASM and C	2010-08-17 16:44:07 +00:00
vm.c	retire PUBLIC, PRIVATE and FORWARD	2012-03-25 21:58:14 +02:00