Searched refs:OFFSETOF (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
| H A D | registerset.h | 87 OFFSETOF(user_context_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
92 OFFSETOF(user_context_t, kernelSP) -
93 OFFSETOF(user_context_t, registers) == 0x4C)
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/ |
| H A D | smp.h | 58 : [offset] "i" (OFFSETOF(nodeInfo_t, index)));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | thread.c | 29 [offset] "i" (OFFSETOF(nodeInfo_t, currentThreadUserContext)));
65 [offset] "i" (OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
| H A D | c_traps.c | 83 , [stack_offset]"i"(OFFSETOF(nodeInfo_t, stackTop))
124 , [stack_offset]"i"(OFFSETOF(nodeInfo_t, stackTop))
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 198 OFFSETOF(user_context_t, registers) == 0)
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 216 OFFSETOF(user_context_t, registers) == 0)
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 63 [offset] "i" (OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
| /seL4-l4v-10.1.1/seL4/include/ |
| H A D | util.h | 57 #define OFFSETOF(type, member) \ macro
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/ |
| H A D | vcpu.h | 321 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
|
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | acpi.c | 157 OFFSETOF(acpi_madt_iso_t, flags) == sizeof(acpi_madt_header_t) + 6)
|
Completed in 54 milliseconds