Searched refs:store_idt (Results 1 – 5 of 5) sorted by relevance
88 store_idt(&idt_ptr); in hv_vtl_bringup_vcpu()
89 store_idt(&ctxt->idt); in __save_processor_state()
224 static inline void store_idt(struct desc_ptr *dtr) in store_idt() function
571 store_idt(&idt); in show_fault_oops()
8395 store_idt(&dt); in vmx_hardware_setup()