Searched defs:gdtpa (Results 1 – 2 of 2) sorted by relevance
170 uint64_t gdtpa; in boot_kdi_tmpinit() local225 uint64_t gdtpa; in boot_kdi_tmpinit() local
579 uint64_t gdtpa; in init_gdt() local803 uint64_t gdtpa; in init_gdt() local