minix/kernel/arch/i386
Tomas Hruby 8fa95abae4 SMP - fixed usage of stale TLB entries
- when kernel copies from userspace, it must be sure that the TLB
  entries are not stale and thus the referenced memory is correct

- everytime we change a process' address space we set p_stale_tlb
  bits for all CPUs.

- Whenever a cpu finds its bit set when it wants to access the
  process' memory, it refreshes the TLB

- it is more conservative than it needs to be but it has low
  overhead than checking precisely
2012-01-13 11:30:00 +00:00
..
include SMP - fixed compilation and removed warnings 2011-12-20 12:58:20 +00:00
acpi.c fix clang warnings -R in kernel/ and servers/ 2011-06-09 16:09:13 +02:00
acpi.h SMP - We boot APs 2010-09-15 14:09:52 +00:00
apic.c Add MKAPIC and MKACPI options 2011-07-31 16:22:43 +02:00
apic.h fix clang warnings -R in kernel/ and servers/ 2011-06-09 16:09:13 +02:00
apic_asm.h Add MKAPIC and MKACPI options 2011-07-31 16:22:43 +02:00
apic_asm.S Add MKAPIC and MKACPI options 2011-07-31 16:22:43 +02:00
arch_clock.c SMP - fixed IPI livelock 2012-01-13 11:30:00 +00:00
arch_do_vmctl.c kernel: invlpg facility 2011-08-12 13:08:27 +00:00
arch_smp.c SMP - fixed compilation and removed warnings 2011-12-20 12:58:20 +00:00
arch_system.c SMP - fixed compilation and removed warnings 2011-12-20 12:58:20 +00:00
arch_watchdog.c Use int64 functions consistently 2010-11-07 23:35:29 +00:00
breakpoints.c fix clang warnings -R in kernel/ and servers/ 2011-06-09 16:09:13 +02:00
debugreg.h Fix types in debug register functions 2010-04-28 08:35:05 +00:00
debugreg.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
do_int86.c arch proto.h renamed to arch_proto.h 2010-09-15 14:09:36 +00:00
do_iopenable.c Server/driver protocols: no longer allow third-party copies. 2011-04-11 17:35:05 +00:00
do_readbios.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_sdevio.c arch proto.h renamed to arch_proto.h 2010-09-15 14:09:36 +00:00
exception.c Remove legacy boot monitor vars 2011-09-16 20:10:47 +02:00
glo.h SMP - CPU local run queues 2010-09-15 14:10:18 +00:00
i8259.c Remove legacy boot monitor vars 2011-09-16 20:10:47 +02:00
io_inb.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
io_inl.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
io_intr.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
io_inw.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
io_outb.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
io_outl.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
io_outw.S Macros for symbols used in both ASM and C 2010-08-17 16:44:07 +00:00
kernel.lds Allow clang for kernel compilation 2012-01-12 13:36:22 +01:00
klib.S kernel: invlpg facility 2011-08-12 13:08:27 +00:00
klib16.S boot: Add multiboot support 2011-06-24 17:21:51 +02:00
Makefile.inc Optionally disable kernel debug code 2011-08-16 17:18:55 +02:00
memory.c SMP - fixed usage of stale TLB entries 2012-01-13 11:30:00 +00:00
mpx.S Add MKWATCHDOG option 2011-07-29 20:37:39 +02:00
multiboot.S boot: Add multiboot support 2011-06-24 17:21:51 +02:00
oxpcie.c kernel: oxpcie serial card support. 2010-05-19 10:00:02 +00:00
oxpcie.h kernel: oxpcie serial card support. 2010-05-19 10:00:02 +00:00
pre_init.c SMP - fixed compilation and removed warnings 2011-12-20 12:58:20 +00:00
protect.c MKSYSDEBUG: conditionally compile more debug code 2011-09-16 15:25:26 +02:00
sconst.h Revert "print kernel stacktrace for exceptions in kernel" 2011-07-22 15:01:44 +02:00
serial.h Add cttybaud boot monitor variable to control speed of serial console (combine with ctty 0) 2011-03-16 12:25:10 +00:00
trampoline.S SMP - kernel links again 2011-12-20 13:05:25 +00:00