ci_doubleflt_stack  518 arch/i386/i386/cpu.c 	ci->ci_doubleflt_stack = (char *)uvm_km_alloc(kernel_map, USPACE);
ci_doubleflt_stack  519 arch/i386/i386/cpu.c 	cpu_init_tss(&ci->ci_doubleflt_tss, ci->ci_doubleflt_stack,