Searched refs:__get_DBGDSCR (Results 1 – 2 of 2) sorted by relevance
70 __STATIC_FORCEINLINE uint32_t __get_DBGDSCR(void) in __get_DBGDSCR() function
50 uint32_t dbgdscr = __get_DBGDSCR(); in dump_debug_event()
