Searched refs:tsssel (Results 1 – 3 of 3) sorted by relevance
290 uint16_t tsssel; /* new TSS selector */ member
875 nt_sel = task_switch->tsssel; in vmexit_task_switch()
2280 ts->tsssel = qual & 0xffff; in vmx_exit_process()