Searched refs:dbgcmd (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ | ||
H A D | dma330.c | 189 uint32_t dbgcmd; /* WO */ member in struct:dma330_map::__anon535 477 regs->debug.dbgcmd = DBGCMD_EXEC; |
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ | ||
H A D | dma330.c | 189 uint32_t dbgcmd; /* WO */ member in struct:dma330_map::__anon966 477 regs->debug.dbgcmd = DBGCMD_EXEC; |
Completed in 32 milliseconds