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_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

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

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

klib16.S

boot: Add multiboot support

2011-06-24 17:21:51 +02:00

klib.S

kernel: invlpg facility

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