Searched refs:get_gdt_base (Results 1 – 2 of 2) sorted by relevance
197 get_desc64_base((struct desc64 *)(get_gdt_base() + get_tr()))); in init_vmcs_host_state()198 vmwrite(HOST_GDTR_BASE, get_gdt_base()); in init_vmcs_host_state()
223 static inline uint64_t get_gdt_base(void) in get_gdt_base() function
