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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c193 uint64_t ss_access_rights, ds_access_rights, es_access_rights; local
194 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights);
198 if (seg_reg_usable(ss_access_rights)) {
236 uint64_t ss_access_rights; local
237 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights);
238 if (seg_reg_usable(ss_access_rights)) {
239 int ss_type = seg_access_type(ss_access_rights);
316 uint64_t ss_access_rights; local
317 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights);
318 if (seg_reg_usable(ss_access_rights)) {
384 uint64_t ss_access_rights; local
482 uint64_t ss_access_rights; local
569 uint64_t ss_access_rights; local
700 uint64_t ss_access_rights; local
[all...]

Completed in 13 milliseconds