Searched refs:OFFSETOF (Results 1 - 10 of 10) sorted by relevance
/seL4-mcs-10.1.1/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-mcs-10.1.1/include/arch/x86/arch/64/mode/model/ |
H A D | smp.h | 58 : [offset] "i" (OFFSETOF(nodeInfo_t, index)));
|
/seL4-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 225 OFFSETOF(user_context_t, registers) == 0)
|
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/machine/ |
H A D | registerset.h | 257 OFFSETOF(user_context_t, registers) == 0)
|
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 63 [offset] "i" (OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
/seL4-mcs-10.1.1/include/ |
H A D | util.h | 61 #define OFFSETOF(type, member) \ macro
|
/seL4-mcs-10.1.1/include/arch/x86/arch/object/ |
H A D | vcpu.h | 321 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
|
/seL4-mcs-10.1.1/src/plat/pc99/machine/ |
H A D | acpi.c | 157 OFFSETOF(acpi_madt_iso_t, flags) == sizeof(acpi_madt_header_t) + 6)
|
Completed in 102 milliseconds