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