Searched refs:store_idt (Results 1 – 4 of 4) 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
8393 store_idt(&dt); in vmx_hardware_setup()