Searched refs:clh_is_ipi_pending (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/seL4/include/smp/
H A Dlock.h55 static inline bool_t FORCE_INLINE clh_is_ipi_pending(word_t cpu) function
74 if (clh_is_ipi_pending(cpu)) {
108 if (clh_is_ipi_pending(cpu)) {
/seL4-l4v-master/seL4/src/arch/arm/smp/
H A Dipi.c34 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
/seL4-l4v-master/seL4/src/arch/riscv/smp/
H A Dipi.c36 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
/seL4-l4v-master/seL4/src/arch/x86/smp/
H A Dipi.c34 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
/seL4-l4v-master/seL4/src/smp/
H A Dipi.c46 if (clh_is_ipi_pending(getCurrentCPUIndex())) {

Completed in 111 milliseconds