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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h31 #define SEG_TYPE_ACCESSED (1 << 0) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c248 assert(ds_type & SEG_TYPE_ACCESSED);
259 assert(es_type & SEG_TYPE_ACCESSED);
270 assert(fs_type & SEG_TYPE_ACCESSED);
281 assert(gs_type & SEG_TYPE_ACCESSED);

Completed in 36 milliseconds