Searched refs:OFFSETOF (Results 1 - 13 of 13) sorted by relevance
| /seL4-camkes-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-camkes-master/kernel/include/arch/x86/arch/64/mode/model/ |
| H A D | smp.h | 51 : [offset] "i"(OFFSETOF(nodeInfo_t, index)));
|
| /seL4-camkes-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-camkes-master/projects/util_libs/libutils/include/utils/ |
| H A D | builtin.h | 25 #define OFFSETOF(type, member) __builtin_offsetof(type, member) macro
|
| /seL4-camkes-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-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
| H A D | ivc.c | 446 ZF_LOGF_IF(OFFSETOF(struct tegra_ivc_channel_header, w_count) & (TEGRA_IVC_ALIGN - 1),
448 ZF_LOGF_IF(OFFSETOF(struct tegra_ivc_channel_header, r_count) & (TEGRA_IVC_ALIGN - 1),
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | registerset.h | 260 OFFSETOF(user_context_t, registers) == 0)
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 52 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 242 OFFSETOF(user_context_t, registers) == 0)
|
| /seL4-camkes-master/kernel/include/ |
| H A D | util.h | 60 #define OFFSETOF(type, member) \ macro
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
| H A D | vcpu.h | 314 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
|
| /seL4-camkes-master/kernel/src/plat/pc99/machine/ |
| H A D | acpi.c | 153 OFFSETOF(acpi_madt_iso_t, flags) == sizeof(acpi_madt_header_t) + 6)
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
| H A D | gdb.c | 64 #define DECLARE_GDB_TO_SEL4(NAME) [GDBRegister_##NAME] = OFFSETOF(seL4_UserContext, NAME)
|
Completed in 119 milliseconds