Searched refs:ds_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
195 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
205 if (seg_reg_usable(ds_access_rights)) {
244 uint64_t ds_access_rights; local
245 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
246 if (seg_reg_usable(ds_access_rights)) {
247 int ds_type = seg_access_type(ds_access_rights);
324 uint64_t ds_access_rights; local
325 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
326 if (seg_reg_usable(ds_access_rights)) {
412 uint64_t ds_access_rights; local
490 uint64_t ds_access_rights; local
586 uint64_t ds_access_rights; local
710 uint64_t ds_access_rights; local
[all...]

Completed in 39 milliseconds