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