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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h70 static inline int seg_access_g(uint64_t access_rights) function
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c555 int cs_g = seg_access_g(cs_access_rights);
572 int ss_g = seg_access_g(ss_access_rights);
589 int ds_g = seg_access_g(ds_access_rights);
606 int es_g = seg_access_g(es_access_rights);
623 int fs_g = seg_access_g(fs_access_rights);
640 int gs_g = seg_access_g(gs_access_rights);
657 int tr_g = seg_access_g(tr_access_rights);
674 int ldtr_g = seg_access_g(ldtr_access_rights);

Completed in 39 milliseconds