_execute_DBGINSN  983 drivers/dma/pl330.c 	_execute_DBGINSN(thrd, insn, is_manager(thrd));
_execute_DBGINSN 1044 drivers/dma/pl330.c 	_execute_DBGINSN(thrd, insn, true);