Searched refs:cdi_idtu (Results 1 – 2 of 2) sorted by relevance
386 cdi->cdi_idtu.ptr = (void *)DBLMAP((uintptr_t) &master_idt64); in cpu_desc_init()415 cdi->cdi_idtu.ptr = (void *)DBLMAP((uintptr_t) &master_idt64); in cpu_desc_init()490 cdi->cdi_idtu.size = cdi->cdi_idtb.size; in cpu_desc_load()495 lidt((uintptr_t *) &cdi->cdi_idtu); in cpu_desc_load()
88 x86_64_desc_register_t cdi_idtu; member