Searched refs:SEL_TI (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h29 #define SEL_TI (1 << 2) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c138 assert((tr_sel & SEL_TI) == 0);
145 assert((ldtr_sel & SEL_TI) == 0);
973 int cs_ti = (cs_sel & SEL_TI);
982 int ss_ti = (ss_sel & SEL_TI);
997 int ds_ti = (ds_sel & SEL_TI);
1005 int es_ti = (es_sel & SEL_TI);
1013 int fs_ti = (fs_sel & SEL_TI);
1021 int gs_ti = (gs_sel & SEL_TI);
1031 int tr_ti = (tr_sel & SEL_TI);

Completed in 29 milliseconds