ipi_clear_irq (reference) in projects: seL4-master

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

/seL4-master/include/arch/riscv/arch/smp/
A D	ipi.h	`20 void ipi_clear_irq(irq_t irq);`
/seL4-master/src/arch/riscv/smp/
A D	ipi.c	`71 void ipi_clear_irq(irq_t irq) in ipi_clear_irq() function`
/seL4-master/src/smp/
A D	ipi.c	`40 ipi_clear_irq(irq_remote_call_ipi); in ipiStallCoreCallback()`
/seL4-master/src/arch/riscv/machine/
A D	hardware.c	`213 ipi_clear_irq(irq); in ackInterrupt()`

Completed in 5 milliseconds