Searched refs:store_idt (Results 1 – 5 of 5) sorted by relevance
78 store_idt(&idt_ptr); in hv_vtl_bringup_vcpu()
89 store_idt(&ctxt->idt); in __save_processor_state()
223 static inline void store_idt(struct desc_ptr *dtr) in store_idt() function
566 store_idt(&idt); in show_fault_oops()
8439 store_idt(&dt); in hardware_setup()