esp0 75 bsp/hal/x86/arch/context.c ctx->esp0 = (uint32_t)val; esp0 148 bsp/hal/x86/arch/context.c tss_set((uint32_t)next->esp0); esp0 77 bsp/hal/x86/arch/cpu.c tss.esp0 = kstack; esp0 87 bsp/hal/x86/arch/cpu.c return tss.esp0; esp0 203 bsp/hal/x86/arch/cpu.c tss.esp0 = (uint32_t)BOOTSTKTOP; esp0 100 bsp/hal/x86/include/context.h uint32_t esp0; /* top of kernel stack */ esp0 174 bsp/hal/x86/include/cpu.h uint32_t esp0, ss0;