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

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

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

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

badaddr() is used only in the grackle PCI driver, so move its definition

2013-11-27 22:01:09 +00:00