Searched defs:gdtbase (Results 1 – 2 of 2) sorted by relevance
71 uint32_t gdtbase, uint32_t esp) in vm_setup_freebsd_registers_i386()221 uint64_t rip, uint64_t cr3, uint64_t gdtbase, in vm_setup_freebsd_registers()
117 static uint64_t gdtbase, cr3, rsp; variable