Searched refs:DBLMAP (Results 1 – 3 of 3) sorted by relevance
379 cdi->cdi_ktssu = (void *)DBLMAP(&master_ktss64); in cpu_desc_init()381 cdi->cdi_sstku = (vm_offset_t) DBLMAP(&master_sstk.top); in cpu_desc_init()384 cdi->cdi_gdtu.ptr = (void *)DBLMAP((uintptr_t) &master_gdt); in cpu_desc_init()386 cdi->cdi_idtu.ptr = (void *)DBLMAP((uintptr_t) &master_idt64); in cpu_desc_init()388 cdi->cdi_ldtu = (struct real_descriptor *)DBLMAP((uintptr_t)&master_ldt[0]); in cpu_desc_init()397 kernel_tss_desc64.offset64 = (uintptr_t) DBLMAP(&master_ktss64); in cpu_desc_init()415 cdi->cdi_idtu.ptr = (void *)DBLMAP((uintptr_t) &master_idt64); in cpu_desc_init()417 cdi->cdi_ktssu = (void *)DBLMAP(&cdt->ktss); in cpu_desc_init()419 cdi->cdi_sstku = (vm_offset_t)DBLMAP(&cdt->sstk.top); in cpu_desc_init()430 cdi->cdi_gdtu.ptr = (void *)DBLMAP(cdt->gdt); in cpu_desc_init()[all …]
1207 idt64_hndl_table0[1] = DBLMAP(idt64_hndl_table0[1]); /* 64-bit exit trampoline */ in doublemap_init()1208 idt64_hndl_table0[3] = DBLMAP(idt64_hndl_table0[3]); /* 32-bit exit trampoline */ in doublemap_init()1253 master_idt64[i].offset64 = DBLMAP(master_idt64[i].offset64); in idt64_remap()
542 #define DBLMAP(x) (DBLMAP_CHECK((uint64_t) x)) macro