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