arch/x86_64/vmx_checks.c

193     uint64_t ss_access_rights, ds_access_rights, es_access_rights;
196     err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
212     if (seg_reg_usable(es_access_rights)) {
255     uint64_t es_access_rights;
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;
333     err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
334     if (seg_reg_usable(es_access_rights)) {
335         int es_s = seg_access_s(es_access_rights);
427     uint64_t es_access_rights;
428     err += vmread(VMX_GUEST_DS_ACCESS, &es_access_rights);
429     bool es_usable = seg_reg_usable(es_access_rights);
430     int es_type = seg_access_type(es_access_rights);
436 	int es_dpl = seg_access_dpl(es_access_rights);
498     uint64_t es_access_rights;
499     err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
500     if (seg_reg_usable(es_access_rights)) {
501         int es_p = seg_access_p(es_access_rights);
603     uint64_t es_access_rights;
604     err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
605     if (seg_reg_usable(es_access_rights)) {
606         int es_g = seg_access_g(es_access_rights);
720     uint64_t es_access_rights;
721     err += vmread(VMX_GUEST_ES_ACCESS, &es_access_rights);
722     if (seg_reg_usable(es_access_rights)) {
723         int es_rsvd_low = ((es_access_rights >> 8) & 0xF);
724 	int es_rsvd_high = ((es_access_rights >> 17) & 0x7FFF);