Searched refs:cs_dpl (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ | ||
| H A D | vmx_checks.c | 376 int cs_dpl = seg_access_dpl(cs_access_rights); local 381 assert(cs_dpl == 0); 389 assert(cs_dpl == ss_dpl); 393 assert(cs_dpl <= ss_dpl); |
Completed in 29 milliseconds