Searched refs:store_idt (Results 1 – 4 of 4) sorted by relevance
91 store_idt(&ctxt->idt); in __save_processor_state()
223 static inline void store_idt(struct desc_ptr *dtr) in store_idt() function
218 store_idt(&ctxt->idtr); in hv_hvcrash_ctxt_save()
8677 store_idt(&dt); in vmx_hardware_setup()