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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c247 int ds_type = seg_access_type(ds_access_rights); local
248 assert(ds_type & SEG_TYPE_ACCESSED);
249 if (ds_type & SEG_TYPE_CODE_SEGMENT) {
250 assert(ds_type & SEG_TYPE_READABLE);
415 int ds_type = seg_access_type(ds_access_rights); local
417 if (!unrestricted_guest && ds_usable && (0 <= ds_type && ds_type <= 11)) {

Completed in 18 milliseconds