Lines Matching refs:SegmentCache
140 SegmentCache *dt; in load_segment()
171 static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1, uint32_t e2) in load_seg_cache_raw_dt()
285 SegmentCache *dt; in switch_tss()
660 SegmentCache *dt; in do_interrupt_protected()
885 SegmentCache *dt; in do_interrupt64()
1130 SegmentCache *dt; in do_interrupt_real()
1167 SegmentCache *dt; in do_interrupt_user()
1386 SegmentCache *dt; in do_smm_enter()
2016 SegmentCache *dt; in helper_lldt()
2063 SegmentCache *dt; in helper_ltr()
2121 SegmentCache *dt; in helper_load_seg()
4902 const SegmentCache *sc) in svm_save_seg()
4914 static inline void svm_load_seg(target_phys_addr_t addr, SegmentCache *sc) in svm_load_seg()
4928 SegmentCache sc1, *sc = &sc1; in svm_load_seg_cache()