Ben Gras 35cc7fbeb8 kernel: invlpg facility ...

. only use for single-page invalidations initially
	. shows tiny but statistically significant performance
	  improvement; will be more helpful in certain VM debug
	  modes

2011-08-12 13:08:27 +00:00

..

arch_vmproc.h

Convert drivers/ and servers/ over to bsdmake

2010-03-22 21:25:22 +00:00

Makefile.inc

Rename mkfiles from minix.*.mk to bsd.*.mk

2010-06-25 18:29:09 +00:00

memory.h

Convert drivers/ and servers/ over to bsdmake

2010-03-22 21:25:22 +00:00

pagefaults.h

Convert drivers/ and servers/ over to bsdmake

2010-03-22 21:25:22 +00:00

pagetable.c

kernel: invlpg facility

2011-08-12 13:08:27 +00: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

Fix VM -Wall warnings and enable -Werror

2011-06-01 11:30:58 +02:00