Searched refs:cdi_sstku (Results 1 – 3 of 3) sorted by relevance
381 cdi->cdi_sstku = (vm_offset_t) DBLMAP(&master_sstk.top); in cpu_desc_init()419 cdi->cdi_sstku = (vm_offset_t)DBLMAP(&cdt->sstk.top); in cpu_desc_init()462 if ((cdi->cdi_sstku % 16) != 0) { in cpu_desc_init()514 wrmsr64(MSR_IA32_SYSENTER_ESP, current_cpu_datap()->cpu_desc_index.cdi_sstku); in cpu_syscall_init()
572 current_ktss64()->rsp0 = cdp->cpu_desc_index.cdi_sstku; in act_machine_switch_pcb()580 cdp->cd_estack = cpu_shadowp(cdp->cpu_number)->cd_estack = cdp->cpu_desc_index.cdi_sstku; in act_machine_switch_pcb()
92 vm_offset_t cdi_sstku; member