Searched refs:gs_rpl (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 465 int gs_rpl = (gs_sel & SEL_RPL); local 468 assert(gs_dpl >= gs_rpl); 1020 int gs_rpl = (gs_sel & SEL_RPL); local 1022 assert(gs_rpl == 0); |
Completed in 8 milliseconds