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

/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h63 clh_is_ipi_pending(word_t cpu) function
77 if (clh_is_ipi_pending(cpu)) {
106 if (clh_is_ipi_pending(cpu)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/smp/
H A Dipi.c40 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
/seL4-l4v-10.1.1/seL4/src/smp/
H A Dipi.c49 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c40 if (clh_is_ipi_pending(getCurrentCPUIndex())) {

Completed in 108 milliseconds