diff options
| author | jhibbits <jhibbits@FreeBSD.org> | 2015-03-31 05:29:44 +0000 |
|---|---|---|
| committer | jhibbits <jhibbits@FreeBSD.org> | 2015-03-31 05:29:44 +0000 |
| commit | aebe90ff98fc6934a1d7815c55e18208ab52b353 (patch) | |
| tree | e36bfc81ff0888967ae7b62bce912d5632478e3c /sys | |
| parent | 9986b6cf156ed9283aa0e8e15ed045a634c21f09 (diff) | |
| download | FreeBSD-src-aebe90ff98fc6934a1d7815c55e18208ab52b353.zip FreeBSD-src-aebe90ff98fc6934a1d7815c55e18208ab52b353.tar.gz | |
CCSRBAR_VA is mpc85xx-specific, so add guards, and include the proper header
file for it.
MFC after: 1 month
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/powerpc/booke/machdep.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/powerpc/booke/machdep.c b/sys/powerpc/booke/machdep.c index 40f3724..f3ef9e3 100644 --- a/sys/powerpc/booke/machdep.c +++ b/sys/powerpc/booke/machdep.c @@ -141,6 +141,10 @@ __FBSDID("$FreeBSD$"); #include <dev/fdt/fdt_common.h> #include <dev/ofw/openfirm.h> +#ifdef MPC85XX +#include <powerpc/mpc85xx/mpc85xx.h> +#endif + #ifdef DDB #include <ddb/ddb.h> #endif @@ -464,7 +468,9 @@ booke_init(uint32_t arg1, uint32_t arg2) debugf(" arg3 mdp = 0x%08x\n", (u_int32_t)mdp); debugf(" end = 0x%08x\n", (u_int32_t)end); debugf(" boothowto = 0x%08x\n", boothowto); +#ifdef MPC85XX debugf(" kernel ccsrbar = 0x%08x\n", CCSRBAR_VA); +#endif debugf(" MSR = 0x%08x\n", mfmsr()); #if defined(BOOKE_E500) debugf(" HID0 = 0x%08x\n", mfspr(SPR_HID0)); |
