Searched refs:OFFSETOF (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h82 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 Dsmp.h51 : [offset] "i"(OFFSETOF(nodeInfo_t, index)));
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dthread.c22 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
56 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dbuiltin.h25 #define OFFSETOF(type, member) __builtin_offsetof(type, member) macro
/seL4-test-master/kernel/src/arch/x86/64/
H A Dc_traps.c77 , [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 Dregisterset.h260 OFFSETOF(user_context_t, registers) == 0)
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h52 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h242 OFFSETOF(user_context_t, registers) == 0)
/seL4-test-master/kernel/include/
H A Dutil.h60 #define OFFSETOF(type, member) \ macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h314 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dacpi.c153 OFFSETOF(acpi_madt_iso_t, flags) == sizeof(acpi_madt_header_t) + 6)

Completed in 179 milliseconds