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;