Nathan Whitehorn b899f5d5c9 Make sure that TLB1 mappings are aligned correctly.		2013-11-17 01:59:42 +00:00
..
interrupt.c	Use the ABI-mandated thread pointer register (r2 for ppc32, r13 for ppc64)	2011-06-23 22:21:28 +00:00
locore.S	Follow up r223485, which made AIM use the ABI thread pointer instead of	2013-11-11 17:37:50 +00:00
machdep_e500.c	Interrelated improvements to early boot mappings:	2013-10-26 18:18:14 +00:00
machdep_ppc4xx.c	Extract vendor specific Book-E pieces into separate files and have a common	2012-05-30 17:34:40 +00:00
machdep.c	Follow up r223485, which made AIM use the ABI thread pointer instead of	2013-11-11 17:37:50 +00:00
mp_cpudep.c	Follow up r223485, which made AIM use the ABI thread pointer instead of	2013-11-11 17:37:50 +00:00
platform_bare.c	Rename the "bare" platform "mpc85xx", which is what it actually is, and	2013-11-11 16:14:25 +00:00
pmap.c	Make sure that TLB1 mappings are aligned correctly.	2013-11-17 01:59:42 +00:00
trap_subr.S	Follow up r223485, which made AIM use the ABI thread pointer instead of	2013-11-11 17:37:50 +00:00
trap.c	userret() already checks for td_locks when INVARIANTS is enabled, so	2012-09-08 18:27:11 +00:00