Searched refs:get_desc64_base (Results 1 – 2 of 2) sorted by relevance
279 get_desc64_base((struct desc64 *)(get_gdt().address + get_tr()))); in init_vmcs_host_state()
392 static inline uint64_t get_desc64_base(const struct desc64 *desc) in get_desc64_base() function