Searched refs:es_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
196 err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
212 if (seg_reg_usable(es_access_rights)) {
255 uint64_t es_access_rights; local
256 err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
257 if (seg_reg_usable(es_access_rights)) {
258 int es_type = seg_access_type(es_access_rights);
332 uint64_t es_access_rights; local
333 err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
334 if (seg_reg_usable(es_access_rights)) {
427 uint64_t es_access_rights; local
498 uint64_t es_access_rights; local
603 uint64_t es_access_rights; local
720 uint64_t es_access_rights; local
[all...]

Completed in 11 milliseconds