Searched defs:data3 (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/src/arch/arm/smp/ |
H A D | ipi.c | 16 init_ipi_args(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-l4v-master/seL4/src/smp/ |
H A D | ipi.c | 87 void doRemoteMaskOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-l4v-master/seL4/src/arch/x86/smp/ |
H A D | ipi.c | 16 init_ipi_args(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-l4v-master/seL4/src/arch/riscv/smp/ |
H A D | ipi.c | 18 init_ipi_args(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-l4v-master/l4v/tools/asmrefine/testfiles/ |
H A D | global_array_swap.c | 30 uint8_t data3; member in struct:struct_blob
|
Completed in 88 milliseconds