Searched defs:data3 (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/arm/smp/ |
| H A D | ipi.c | 22 init_ipi_args(IpiModeRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
| /seL4-l4v-10.1.1/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-10.1.1/seL4/src/arch/x86/smp/ |
| H A D | ipi.c | 22 init_ipi_args(IpiModeRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
| /seL4-l4v-10.1.1/l4v/tools/asmrefine/testfiles/ |
| H A D | global_array_swap.c | 34 uint8_t data3; member in struct:struct_blob
|
Completed in 39 milliseconds