Searched refs:store_idt (Results 1 – 5 of 5) sorted by relevance
120 store_idt(&idt_ptr); in hv_vtl_bringup_vcpu()
90 store_idt(&ctxt->idt); in __save_processor_state()
223 static inline void store_idt(struct desc_ptr *dtr) in store_idt() function
570 store_idt(&idt); in show_fault_oops()
8499 store_idt(&dt); in vmx_hardware_setup()