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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h33 #define SEG_TYPE_CODE_SEGMENT (1 << 3) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c249 if (ds_type & SEG_TYPE_CODE_SEGMENT) {
260 if (es_type & SEG_TYPE_CODE_SEGMENT) {
271 if (fs_type & SEG_TYPE_CODE_SEGMENT) {
282 if (gs_type & SEG_TYPE_CODE_SEGMENT) {

Completed in 78 milliseconds