Searched defs:new_tss_base (Results 1 – 2 of 2) sorted by relevance
92 uint32_t new_tss_base = x86_segment_base(new_desc); in task_switch_32() local
2747 u32 new_tss_base = get_desc_base(new_desc); in task_switch_16() local2885 u32 new_tss_base = get_desc_base(new_desc); in task_switch_32() local