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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c258 int es_type = seg_access_type(es_access_rights); local
259 assert(es_type & SEG_TYPE_ACCESSED);
260 if (es_type & SEG_TYPE_CODE_SEGMENT) {
261 assert(es_type & SEG_TYPE_READABLE);
430 int es_type = seg_access_type(es_access_rights); local
432 if (!unrestricted_guest && es_usable && (0 <= es_type && es_type <= 11)) {

Completed in 10 milliseconds