Searched refs:get_current_gdt_ro (Results 1 – 2 of 2) sorted by relevance
73 static inline struct desc_struct *get_current_gdt_ro(void) in get_current_gdt_ro() function
2848 table = get_current_gdt_ro(); in segment_base()3088 void *gdt = get_current_gdt_ro(); in vmx_vcpu_load()
