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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h55 static inline int seg_access_p(uint64_t access_rights) function
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c478 int cs_p = seg_access_p(cs_access_rights);
485 int ss_p = seg_access_p(ss_access_rights);
493 int ds_p = seg_access_p(ds_access_rights);
501 int es_p = seg_access_p(es_access_rights);
509 int fs_p = seg_access_p(fs_access_rights);
517 int gs_p = seg_access_p(gs_access_rights);
524 int tr_p = seg_access_p(tr_access_rights);
531 int ldtr_p = seg_access_p(ldtr_access_rights);

Completed in 62 milliseconds