arm_debug_read_dscr

Declaration

uint32_t arm_debug_read_dscr(void);