Searched refs:get_current_gdt_ro (Results 1 – 2 of 2) sorted by relevance
69 static inline struct desc_struct *get_current_gdt_ro(void) in get_current_gdt_ro() function
1176 table = get_current_gdt_ro(); in segment_base()1467 void *gdt = get_current_gdt_ro(); in vmx_vcpu_load_vmcs()