Symbol: DEVDISR
sys/arch/evbppc/mpc85xx/machdep.c
1274
printf(" devdisr=%#x", cpu_read_4(GLOBAL_BASE + DEVDISR));
sys/arch/powerpc/booke/dev/pq3gpio.c
321
const uint32_t devdisr = bus_space_read_4(bst, bsh, DEVDISR);
sys/arch/powerpc/booke/e500_autoconf.c
74
const uint32_t v = cpu_read_4(GLOBAL_BASE + DEVDISR);