Searched refs:DBLMAP (Results 1 – 3 of 3) sorted by relevance
383 cdi->cdi_ktssu = (void *)DBLMAP(&master_ktss64); in cpu_desc_init()385 cdi->cdi_sstku = (vm_offset_t) DBLMAP(&master_sstk.top); in cpu_desc_init()388 cdi->cdi_gdtu.ptr = (void *)DBLMAP((uintptr_t) &master_gdt); in cpu_desc_init()390 cdi->cdi_idtu.ptr = (void *)DBLMAP((uintptr_t) &master_idt64); in cpu_desc_init()392 cdi->cdi_ldtu = (struct real_descriptor *)DBLMAP((uintptr_t)&master_ldt[0]); in cpu_desc_init()401 kernel_tss_desc64.offset64 = (uintptr_t) DBLMAP(&master_ktss64); in cpu_desc_init()419 cdi->cdi_idtu.ptr = (void *)DBLMAP((uintptr_t) &master_idt64); in cpu_desc_init()421 cdi->cdi_ktssu = (void *)DBLMAP(&cdt->ktss); in cpu_desc_init()423 cdi->cdi_sstku = (vm_offset_t)DBLMAP(&cdt->sstk.top); in cpu_desc_init()434 cdi->cdi_gdtu.ptr = (void *)DBLMAP(cdt->gdt); in cpu_desc_init()[all …]
1205 idt64_hndl_table0[1] = DBLMAP(idt64_hndl_table0[1]); /* 64-bit exit trampoline */ in doublemap_init()1206 idt64_hndl_table0[3] = DBLMAP(idt64_hndl_table0[3]); /* 32-bit exit trampoline */ in doublemap_init()1251 master_idt64[i].offset64 = DBLMAP(master_idt64[i].offset64); in idt64_remap()
542 #define DBLMAP(x) (DBLMAP_CHECK((uint64_t) x)) macro