Searched refs:gdtpa (Results 1 – 2 of 2) sorted by relevance
167 uint64_t gdtpa; in boot_kdi_tmpinit() local181 gdtpa = pfn_to_pa(va_to_pfn(bgdt)); in boot_kdi_tmpinit()182 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in boot_kdi_tmpinit()183 kbm_read_only((uintptr_t)bgdt, gdtpa); in boot_kdi_tmpinit()
569 uint64_t gdtpa; in init_gdt() local601 gdtpa = pfn_to_pa(va_to_pfn(gdt0)); in init_gdt()602 ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT); in init_gdt()603 kbm_read_only((uintptr_t)gdt0, gdtpa); in init_gdt()