b772be119c
changing. Also change it from 0x44000000 to 0x84000000 for large memory machines. # the PCI bus code should do this for us. This is a bandaide, not a # solution. |
||
---|---|---|
.. | ||
pccbb.c | ||
pccbbdevid.h | ||
pccbbreg.h | ||
pccbbvar.h |