Searched refs:dpc (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c158 uint32_t dpc; /* RO */ member in struct:dma330_map::__anon533
327 printf(" MGR PC: 0x%08x\n", regs->ctrl.dpc);
393 pc = regs->ctrl.dpc;
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c158 uint32_t dpc; /* RO */ member in struct:dma330_map::__anon964
327 printf(" MGR PC: 0x%08x\n", regs->ctrl.dpc);
393 pc = regs->ctrl.dpc;

Completed in 34 milliseconds