Searched refs:data3 (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/include/smp/ |
| A D | ipi.h | 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_… in doRemoteOp() argument
96 doRemoteMaskOp(func, data1, data2, data3, BIT(cpu)); in doRemoteOp()
126 …ine doRemoteMaskOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) in doRemoteMaskOp3Arg() argument
128 doRemoteMaskOp(func, data1, data2, data3, mask); in doRemoteMaskOp3Arg()
146 static void inline doRemoteOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, w… in doRemoteOp3Arg() argument
148 doRemoteOp(func, data1, data2, data3, cpu); in doRemoteOp3Arg()
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 17 word_t data1, word_t data2, word_t data3, in init_ipi_args() argument
23 ipi_args[2] = data3; in init_ipi_args()
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 19 word_t data1, word_t data2, word_t data3, in init_ipi_args() argument
25 ipi_args[2] = data3; in init_ipi_args()
|
| /seL4-master/src/smp/ |
| A D | ipi.c | 87 void doRemoteMaskOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) in doRemoteMaskOp() argument
95 init_ipi_args(func, data1, data2, data3, mask); in doRemoteMaskOp()
|
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 17 word_t data1, word_t data2, word_t data3, in init_ipi_args() argument
23 ipi_args[2] = data3; in init_ipi_args()
|
Completed in 6 milliseconds