Searched refs:cdt (Results 1 – 1 of 1) sorted by relevance
417 cdi->cdi_ktssu = (void *)DBLMAP(&cdt->ktss); in cpu_desc_init()418 cdi->cdi_ktssb = (void *)(&cdt->ktss); in cpu_desc_init()430 cdi->cdi_gdtu.ptr = (void *)DBLMAP(cdt->gdt); in cpu_desc_init()431 cdi->cdi_gdtb.ptr = (void *)(cdt->gdt); in cpu_desc_init()441 fix_desc64(&cdt->gdt[sel_idx(KERNEL_LDT)], 1); in cpu_desc_init()446 fix_desc64(&cdt->gdt[sel_idx(USER_LDT)], 1); in cpu_desc_init()451 fix_desc64(&cdt->gdt[sel_idx(KERNEL_TSS)], 1); in cpu_desc_init()455 cdt->fstkp = cfstk; in cpu_desc_init()457 cdt->ktss.ist2 = DBLMAP((uint64_t)cdt->fstkp + FSTK_SZ); in cpu_desc_init()458 cdt->ktss.ist1 = cdt->ktss.ist2 - sizeof(x86_64_intr_stack_frame_t); in cpu_desc_init()[all …]