Searched defs:data3 (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/include/smp/ |
| A D | ipi.h | 94 static void inline doRemoteOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_… in doRemoteOp()
126 …ine doRemoteMaskOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) in doRemoteMaskOp3Arg()
146 static void inline doRemoteOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, w… 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()
|
| /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()
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 19 word_t data1, word_t data2, word_t data3, in init_ipi_args()
|
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 17 word_t data1, word_t data2, word_t data3, in init_ipi_args()
|
Completed in 13 milliseconds