Searched refs:kernelSP (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h68 word_t kernelSP; member in struct:user_context
85 /* Ensure kernelSP is the first member following the registers. */
88 OFFSETOF(user_context_t, kernelSP) - OFFSETOF(user_context_t, registers) == sizeof(word_t) * n_contextRegisters
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/
H A Dstack.h36 SMP_COND_STATEMENT(NODE_STATE(ksCurThread)->tcbArch.tcbContext.kernelSP = kernel_stack_top);
/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dc_traps.c40 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->kernelSP = ((word_t)kernel_stack_alloc[getCurrentCPUIndex()]) + BIT(
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h266 word_t kernelSP; member in struct:vcpu

Completed in 42 milliseconds