Searched defs:data2 (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | globinits.c | 23 char data2; member in struct:s
|
/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 | 33 uint8_t data2; member in struct:struct_blob
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
H A D | arm8.sml | 1833 val data2 = value
|
Completed in 100 milliseconds