Searched defs:data1 (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | globinits.c | 22 int data1; 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 | 32 uint8_t data1; member in struct:struct_blob
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
H A D | arm8.sml | 1829 val data1 = value 1854 val (data1,data2) = value
|
Completed in 73 milliseconds