include/smp/ipi.h

18     word_t count;
19     word_t globalsense;
21     PAD_TO_NEXT_CACHE_LN(sizeof(word_t) + sizeof(word_t));
24 static volatile word_t totalCoreBarrier; /* number of cores involved in IPI 'in progress' */
25 static word_t ipi_args[MAX_IPI_ARGS];    /* data to be passed to the remote call function */
27 static inline word_t get_ipi_arg(word_t n)
33 static inline void ipi_wait(word_t cores)
35     word_t localsense = ipiSyncBarrier.globalsense;
49 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
55 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
58 void ipi_send_target(irq_t irq, word_t cpuTargetList);
85 void doRemoteMaskOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask);
94 static void inline doRemoteOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t cpu)
111 static void inline doRemoteMaskOp0Arg(IpiRemoteCall_t func, word_t mask)
116 static void inline doRemoteMaskOp1Arg(IpiRemoteCall_t func, word_t data1, word_t mask)
121 static void inline doRemoteMaskOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t mask)
126 static void inline doRemoteMaskOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask)
131 static void inline doRemoteOp0Arg(IpiRemoteCall_t func, word_t cpu)
136 static void inline doRemoteOp1Arg(IpiRemoteCall_t func, word_t data1, word_t cpu)
141 static void inline doRemoteOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t cpu)
146 static void inline doRemoteOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t cpu)
156 void doMaskReschedule(word_t mask);
163 static void inline doReschedule(word_t cpu)