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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c151 uint64_t ss_sel, cs_sel; local
153 err += vmread(VMX_GUEST_CS_SEL, &cs_sel);
155 int cs_rpl = (cs_sel & SEL_RPL);
970 uint64_t cs_sel; local
971 errval_t err = vmread(VMX_HOST_CS_SEL, &cs_sel);
972 int cs_rpl = (cs_sel & SEL_RPL);
973 int cs_ti = (cs_sel & SEL_TI);
976 assert(cs_sel != 0);

Completed in 40 milliseconds