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
984 table = get_current_gdt_ro(); in segment_base()1273 void *gdt = get_current_gdt_ro(); in vmx_vcpu_load_vmcs()
Completed in 18 milliseconds