Searched refs:devcfg_regs (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Ddevcfg.c19 static devcfg_regs_t* devcfg_regs = NULL; variable
22 if (devcfg_regs == NULL) {
23 devcfg_regs = ps_io_map(&ops->io_mapper, DEVCFG_PADDR, DEVCFG_SIZE, false /* cached */, PS_MEM_NORMAL);
30 return devcfg_regs;
H A Dxadc.c62 devcfg_regs_t* devcfg_regs = devcfg_get_regs(); local
63 if (devcfg_regs == NULL) {
67 devcfg_regs->xadcif_cfg |= XADCIF_CFG_ENABLE;
68 devcfg_regs->xadcif_mctl &= ~XADCIF_MCTL_RESET;
76 devcfg_regs_t* devcfg_regs = devcfg_get_regs(); local
79 devcfg_regs->xadcif_cmdfifo = FORMAT_XADC_READ(address & XADC_VALID_ADDRESS_MASK);
82 while (!(devcfg_regs->xadcif_msts & XADC_MSTS_CFIFOE));
85 FORCE_READ(&devcfg_regs->xadcif_rdfifo);
88 devcfg_regs->xadcif_cmdfifo = XADC_NOOP;
91 return devcfg_regs
[all...]
H A Ddevcfg.h28 struct devcfg_regs { struct
54 typedef volatile struct devcfg_regs devcfg_regs_t;

Completed in 21 milliseconds