ci_ddbipi_stack   535 arch/i386/i386/cpu.c 	ci->ci_ddbipi_stack = (char *)uvm_km_alloc(kernel_map, USPACE);
ci_ddbipi_stack   536 arch/i386/i386/cpu.c 	cpu_init_tss(&ci->ci_ddbipi_tss, ci->ci_ddbipi_stack,