ipiStallCoreCallback (reference) in projects: seL4-master

Searched refs:ipiStallCoreCallback (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/arch/arm/smp/
A D	ipi.c	`37 ipiStallCoreCallback(irqPath); in handleRemoteCall()`
/seL4-master/src/arch/riscv/smp/
A D	ipi.c	`39 ipiStallCoreCallback(irqPath); in handleRemoteCall()`
/seL4-master/src/smp/
A D	ipi.c	`20 void ipiStallCoreCallback(bool_t irqPath) in ipiStallCoreCallback() function`
/seL4-master/src/arch/x86/smp/
A D	ipi.c	`37 ipiStallCoreCallback(irqPath); in handleRemoteCall()`
/seL4-master/include/smp/
A D	ipi.h	`67 void ipiStallCoreCallback(bool_t irqPath);`

Completed in 5 milliseconds