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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h50 static inline int seg_access_dpl(uint64_t access_rights) function
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c376 int cs_dpl = seg_access_dpl(cs_access_rights);
386 int ss_dpl = seg_access_dpl(ss_access_rights);
421 int ds_dpl = seg_access_dpl(ds_access_rights);
436 int es_dpl = seg_access_dpl(es_access_rights);
451 int fs_dpl = seg_access_dpl(fs_access_rights);
466 int gs_dpl = seg_access_dpl(gs_access_rights);

Completed in 37 milliseconds