Lines Matching refs:bgdt
169 user_desc_t *bgdt; in boot_kdi_tmpinit() local
179 bgdt = kobj_zalloc(PAGESIZE, KM_TMP); in boot_kdi_tmpinit()
180 ASSERT(((uintptr_t)bgdt & PAGEOFFSET) == 0); in boot_kdi_tmpinit()
182 init_boot_gdt(bgdt); in boot_kdi_tmpinit()
184 gdtpa = pfn_to_pa(va_to_pfn(bgdt)); in boot_kdi_tmpinit()
186 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()
224 user_desc_t *bgdt; in boot_kdi_tmpinit() local
234 bgdt = kobj_zalloc(PAGESIZE, KM_TMP); in boot_kdi_tmpinit()
236 ASSERT(((uintptr_t)bgdt & PAGEOFFSET) == 0); in boot_kdi_tmpinit()
237 gdtpa = pfn_to_pa(va_to_pfn(bgdt)); in boot_kdi_tmpinit()
239 init_boot_gdt(bgdt); in boot_kdi_tmpinit()
241 set_usegd(&bgdt[GDT_BGSTMP], in boot_kdi_tmpinit()
245 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()