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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h30 #define SEL_RPL (0x3) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c154 int ss_rpl = (ss_sel & SEL_RPL);
155 int cs_rpl = (cs_sel & SEL_RPL);
400 int ss_rpl = (ss_sel & SEL_RPL);
420 int ds_rpl = (ds_sel & SEL_RPL);
435 int es_rpl = (es_sel & SEL_RPL);
450 int fs_rpl = (fs_sel & SEL_RPL);
465 int gs_rpl = (gs_sel & SEL_RPL);
972 int cs_rpl = (cs_sel & SEL_RPL);
981 int ss_rpl = (ss_sel & SEL_RPL);
996 int ds_rpl = (ds_sel & SEL_RPL);
[all...]

Completed in 38 milliseconds