Searched refs:gdtpa (Results 1 – 2 of 2) sorted by relevance
170 uint64_t gdtpa; in boot_kdi_tmpinit() local184 gdtpa = pfn_to_pa(va_to_pfn(bgdt)); in boot_kdi_tmpinit()185 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in boot_kdi_tmpinit()186 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()225 uint64_t gdtpa; in boot_kdi_tmpinit() local237 gdtpa = pfn_to_pa(va_to_pfn(bgdt)); in boot_kdi_tmpinit()244 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in boot_kdi_tmpinit()245 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()
575 uint64_t gdtpa; in init_gdt() local606 gdtpa = pfn_to_pa(va_to_pfn(gdt0)); in init_gdt()607 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in init_gdt()608 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()799 uint64_t gdtpa; in init_gdt() local813 gdtpa = pfn_to_pa(va_to_pfn(gdt0)); in init_gdt()830 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in init_gdt()831 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()