Searched refs:ddbipi_stack (Results 1 – 1 of 1) sorted by relevance
582 void *ddbipi_stack; in cpu_set_tss_gates() local584 ddbipi_stack = (void *)uvm_km_alloc(kernel_map, USPACE, 0, in cpu_set_tss_gates()586 tss_init(&ci->ci_tss->ddbipi_tss, ddbipi_stack, in cpu_set_tss_gates()