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