Searched refs:OFFSETOF (Results 1 - 11 of 11) sorted by relevance
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | registerset.h | 82 OFFSETOF(user_context_t, fpuState) % MIN_FPU_ALIGNMENT == 0) 88 OFFSETOF(user_context_t, kernelSP) - OFFSETOF(user_context_t, registers) == sizeof(word_t) * n_contextRegisters
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/ |
H A D | smp.h | 51 : [offset] "i"(OFFSETOF(nodeInfo_t, index)));
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | thread.c | 22 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext))); 56 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | builtin.h | 25 #define OFFSETOF(type, member) __builtin_offsetof(type, member) macro
|
/seL4-test-master/kernel/src/arch/x86/64/ |
H A D | c_traps.c | 77 , [stack_offset]"i"(OFFSETOF(nodeInfo_t, stackTop)) 118 , [stack_offset]"i"(OFFSETOF(nodeInfo_t, stackTop))
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
H A D | registerset.h | 260 OFFSETOF(user_context_t, registers) == 0)
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 52 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 242 OFFSETOF(user_context_t, registers) == 0)
|
/seL4-test-master/kernel/include/ |
H A D | util.h | 60 #define OFFSETOF(type, member) \ macro
|
/seL4-test-master/kernel/include/arch/x86/arch/object/ |
H A D | vcpu.h | 314 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | acpi.c | 153 OFFSETOF(acpi_madt_iso_t, flags) == sizeof(acpi_madt_header_t) + 6)
|
Completed in 179 milliseconds