Searched refs:cdi_gdtu (Results 1 – 2 of 2) sorted by relevance
384 cdi->cdi_gdtu.ptr = (void *)DBLMAP((uintptr_t) &master_gdt); in cpu_desc_init()430 cdi->cdi_gdtu.ptr = (void *)DBLMAP(cdt->gdt); in cpu_desc_init()488 cdi->cdi_gdtu.size = cdi->cdi_gdtb.size; in cpu_desc_load()493 lgdt((uintptr_t *) &cdi->cdi_gdtu); in cpu_desc_load()
86 x86_64_desc_register_t cdi_gdtu; member