freebsd-dev/sys/powerpc
Nathan Whitehorn 54c562081f Restructure the way the copyin/copyout segment is stored to prevent a
concurrency bug. Since all SLB/SR entries were invalidated during an
exception, a decrementer exception could cause the user segment to be
invalidated during a copyin()/copyout() without a thread switch that
would cause it to be restored from the PCB, potentially causing the
operation to continue on invalid memory. This is now handled by explicit
restoration of segment 12 from the PCB on 32-bit systems and a check in
the Data Segment Exception handler on 64-bit.

While here, cause copyin()/copyout() to check whether the requested
user segment is already installed, saving some pipeline flushes, and
fix the synchronization primitives around the mtsr and slbmte
instructions to prevent accessing stale segments.

MFC after:	2 weeks
2010-10-30 23:07:30 +00:00
..
aim Restructure the way the copyin/copyout segment is stored to prevent a 2010-10-30 23:07:30 +00:00
booke Introduce inheritance into the PowerPC MMU kobj interface. 2010-09-15 00:17:52 +00:00
compile
conf Add three new drivers for fan control and temperature reading on the 2010-10-15 20:08:16 +00:00
cpufreq MFppc64: 2010-07-13 05:32:19 +00:00
fpu The NetBSD Foundation has granted permission to remove clause 3 and 4 from 2010-03-03 17:07:02 +00:00
include Restructure the way the copyin/copyout segment is stored to prevent a 2010-10-30 23:07:30 +00:00
mambo Don't create spurious /dev entries. 2010-10-25 15:41:12 +00:00
mpc85xx Restructure how reset and poweroff are handled on PowerPC systems, since 2010-08-31 15:27:46 +00:00
ofw Map the Open Firmware framebuffer console with write combining turned on, 2010-10-01 19:02:31 +00:00
powermac Add three new drivers for fan control and temperature reading on the 2010-10-15 20:08:16 +00:00
powerpc Restructure the way the copyin/copyout segment is stored to prevent a 2010-10-30 23:07:30 +00:00
psim Remove the unneeded header <machine/intr.h>. 2010-07-02 02:17:39 +00:00