Searched defs:sel4platsupport_arch_copy_irq_cap (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/
H A Ddevice.c19 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) function
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/
H A Ddevice.c16 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) function

Completed in 28 milliseconds