Symbol: _execute_DBGINSN
drivers/dma/pl330.c
1052
_execute_DBGINSN(thrd, insn, true);
drivers/dma/pl330.c
991
_execute_DBGINSN(thrd, insn, is_manager(thrd));