Symbol: db_ppc4xx_mfdcr
sys/arch/powerpc/powerpc/db_interface.c
708
db_num_to_str(db_ppc4xx_mfdcr(addr)));
sys/arch/powerpc/powerpc/db_interface.c
710
db_printf("%s\n", db_num_to_str(db_ppc4xx_mfdcr(addr)));
sys/arch/powerpc/powerpc/db_interface.c
718
db_num_to_str(db_ppc4xx_mfdcr(addr)));
sys/arch/powerpc/powerpc/db_interface.c
90
static db_expr_t db_ppc4xx_mfdcr(db_expr_t);