Home
last modified time | relevance | path

Searched refs:intcps_sysconfig (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/plat/am335x/machine/
A Dhardware.c13 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; in initIRQController()
/seL4-master/src/plat/omap3/machine/
A Dhardware.c23 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; in initIRQController()
/seL4-master/include/drivers/irq/
A Domap3.h30 uint32_t intcps_sysconfig; member
A Dam335x.h42 uint32_t intcps_sysconfig; member

Completed in 5 milliseconds