Searched defs:irq_info (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/global-components/components/SerialServer/src/plat/pc99/
H A Dplat.c25 ps_irq_t irq_info = { .type = PS_IOAPIC, .ioapic = { .ioapic = 0, .pin = 4, .level = 0, .polarity = 0, .vector = 4 }}; local
/seL4-camkes-master/projects/global-components/components/SerialServer/src/plat/arm_common/
H A Dplat.c25 ps_irq_t irq_info = { .type = PS_INTERRUPT, .irq = { .number = DEFAULT_SERIAL_INTERRUPT }}; local
/seL4-camkes-master/projects/util_libs/libethdrivers/include/ethdrivers/
H A Dintel.h22 ps_irq_t irq_info[]; member in struct:ethif_intel_config
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/pc99/
H A D82574.c21 ps_irq_t irq_info = (ps_irq_t) { local
H A D82580.c21 ps_irq_t irq_info = (ps_irq_t) { local
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dirq.c97 ps_irq_t *irq_info = &((*irq_entry)->irq); local

Completed in 90 milliseconds