Searched refs:x86_segment_base (Results 1 – 3 of 3) sorted by relevance
98 vmx_desc->base = x86_segment_base(desc); in x86_segment_descriptor_to_vmx()
92 uint32_t new_tss_base = x86_segment_base(new_desc); in task_switch_32()
138 static inline uint32_t x86_segment_base(x86_segment_descriptor *desc) in x86_segment_base() function