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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h32 #define SEG_TYPE_READABLE (1 << 1) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c250 assert(ds_type & SEG_TYPE_READABLE);
261 assert(es_type & SEG_TYPE_READABLE);
272 assert(fs_type & SEG_TYPE_READABLE);
283 assert(gs_type & SEG_TYPE_READABLE);

Completed in 45 milliseconds