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

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_checks.h35 static inline int seg_reg_usable(int access_rights) argument
37 return !(access_rights & ACCESS_UNUSABLE);
40 static inline int seg_access_type(uint64_t access_rights) argument
42 return ((access_rights >> 0) & 0xF);
45 static inline int seg_access_s(uint64_t access_rights) argument
47 return ((access_rights >> 4) & 0x1);
50 static inline int seg_access_dpl(uint64_t access_rights) argument
52 return ((access_rights >> 5) & 0x3);
55 static inline int seg_access_p(uint64_t access_rights) argument
57 return ((access_rights >>
60 seg_access_l(uint64_t access_rights) argument
65 seg_access_db(uint64_t access_rights) argument
70 seg_access_g(uint64_t access_rights) argument
[all...]

Completed in 45 milliseconds