Searched refs:es_rpl (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 435 int es_rpl = (es_sel & SEL_RPL); local 438 assert(es_dpl >= es_rpl); 1004 int es_rpl = (es_sel & SEL_RPL); local 1006 assert(es_rpl == 0); |
Completed in 10 milliseconds