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()
579 uint64_t gdtpa; in init_gdt() local610 gdtpa = pfn_to_pa(va_to_pfn(gdt0)); in init_gdt()611 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in init_gdt()612 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()803 uint64_t gdtpa; in init_gdt() local817 gdtpa = pfn_to_pa(va_to_pfn(gdt0)); in init_gdt()834 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in init_gdt()835 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()