Nathan Whitehorn a0d0d6d88b badaddr() is used only in the grackle PCI driver, so move its definition ... there. Clean up a spurious setfault() declaration as well.		2013-11-27 22:01:09 +00:00
..
interrupt.c
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
machdep_ppc4xx.c
machdep.c	Move CCSR discovery into the platform module, while simultaneously making	2013-11-17 02:03:36 +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
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	badaddr() is used only in the grackle PCI driver, so move its definition	2013-11-27 22:01:09 +00:00