minix/kernel
Ben Gras f250bfaa13 change messy CREATEPDE macro to clean little function.
forget about the dirtypde bitmap and WIPEPDE/DONEPDE macros too.

check if mapping happens to already be in place, and if so, don't
reload cr3 (on the account of that mapping, that is).

don't reload cr3 unconditionally.
2010-03-18 13:35:41 +00:00
..
arch/i386 change messy CREATEPDE macro to clean little function. 2010-03-18 13:35:41 +00:00
system New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
clock.c Remove some unused #include. 2010-02-17 20:24:42 +00:00
clock.h Clock task split 2009-11-06 09:04:15 +00:00
config.h New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
const.h Time accounting based on TSC 2010-02-10 15:36:54 +00:00
debug.c re-establish kernel assert()s. 2010-03-10 13:00:05 +00:00
debug.h re-establish kernel assert()s. 2010-03-10 13:00:05 +00:00
glo.h Move archtypes.h, fpu.h, and stackframe.h 2010-03-09 09:41:14 +00:00
interrupt.c New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
ipc.h All macros defining rts flags are prefixed with RTS_ 2009-11-10 09:11:13 +00:00
kernel.h Time accounting based on TSC 2010-02-10 15:36:54 +00:00
main.c New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
Makefile Incorporate bsdmake into buildsystem and reorganize libs 2010-02-16 14:41:33 +00:00
priv.h New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
proc.c re-establish kernel assert()s. 2010-03-10 13:00:05 +00:00
proc.h New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
profile.c Removal of the system task 2010-02-09 15:20:09 +00:00
profile.h cprofile not conditional 2009-01-09 21:44:52 +00:00
proto.h re-establish kernel assert()s. 2010-03-10 13:00:05 +00:00
start.c use the verbose=2 boot monitor setting to get extensive output for debugging 2010-02-13 22:11:16 +00:00
system.c Provide a warning is a kernel call has been denied, to ease system.conf debugging 2010-03-17 18:23:51 +00:00
system.h New RS and new signal handling for system processes. 2010-03-17 01:15:29 +00:00
table.c No CLOCK task 2010-02-09 15:22:43 +00:00
type.h Include directory reorg and makefile updates. 2010-03-08 11:04:59 +00:00
utility.c panic() cleanup. 2010-03-05 15:05:11 +00:00
vm.h intr_disabled() tests removed 2010-02-09 15:29:58 +00:00
watchdog.c no more kprintf - kernel uses libsys printf now, only kputc is special 2010-03-03 15:45:01 +00:00
watchdog.h NMI watchdog is an awesome feature for debugging locked up kernels. 2010-01-16 20:53:55 +00:00