Searched defs:data2 (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() 121 static void inline doRemoteMaskOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t mask) in doRemoteMaskOp2Arg() 126 static void inline doRemoteMaskOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data… in doRemoteMaskOp3Arg() 141 static void inline doRemoteOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t cpu) in doRemoteOp2Arg() 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 6 milliseconds