DBCR0_RST_SYSTEM  258 arch/powerpc/boot/4xx.c #define DBCR0_RST_SYSTEM 0x30000000
DBCR0_RST_SYSTEM  375 arch/powerpc/include/asm/reg_booke.h #define DBCR0_RST_SYSTEM 0x30000000	/* System Reset */
DBCR0_RST_SYSTEM  438 arch/powerpc/include/asm/reg_booke.h #define DBCR0_RST_SYSTEM 0x30000000	/* System Reset */