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

/seL4-test-master/kernel/src/plat/am335x/machine/
H A Dhardware.c13 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET;
/seL4-test-master/kernel/src/plat/omap3/machine/
H A Dhardware.c23 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET;
/seL4-test-master/kernel/include/drivers/irq/
H A Dam335x.h42 uint32_t intcps_sysconfig; member in struct:INTC_map
H A Domap3.h30 uint32_t intcps_sysconfig; member in struct:INTC_map

Completed in 77 milliseconds