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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h40 static inline int seg_access_type(uint64_t access_rights) function
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c226 int cs_type = seg_access_type(cs_access_rights);
239 int ss_type = seg_access_type(ss_access_rights);
247 int ds_type = seg_access_type(ds_access_rights);
258 int es_type = seg_access_type(es_access_rights);
269 int fs_type = seg_access_type(fs_access_rights);
280 int gs_type = seg_access_type(gs_access_rights);
290 int tr_type = seg_access_type(tr_access_rights);
301 int ldtr_type = seg_access_type(ldtr_access_rights);
378 int cs_type = seg_access_type(cs_access_rights);
415 int ds_type = seg_access_type(ds_access_right
[all...]

Completed in 40 milliseconds