Searched defs:ss_rpl (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 154 int ss_rpl = (ss_sel & SEL_RPL); local 400 int ss_rpl = (ss_sel & SEL_RPL); local 981 int ss_rpl = (ss_sel & SEL_RPL); local |
Completed in 28 milliseconds