Searched refs:ar_bytes (Results 1 – 2 of 2) sorted by relevance
29 .ar_bytes = VMCS_GUEST_##seg##_ACCESS_RIGHTS, \36 int ar_bytes; member55 return (uint32_t)rvmcs(cpu->accel->fd, vmx_segment_fields[seg].ar_bytes); in vmx_read_segment_ar()80 desc->ar = rvmcs(cpu->accel->fd, vmx_segment_fields[seg].ar_bytes); in vmx_read_segment_descriptor()90 wvmcs(cpu->accel->fd, sf->ar_bytes, desc->ar); in vmx_write_segment_descriptor()
504 .ar_bytes = GUEST_##seg##_AR_BYTES, \511 unsigned ar_bytes; member881 *p = vmcs_read32(kvm_vmx_segment_fields[seg].ar_bytes); in vmx_read_guest_seg_ar()3073 vmcs_write32(sf->ar_bytes, vmx_segment_access_rights(&var)); in fix_rmode_seg()3614 vmcs_write32(sf->ar_bytes, vmx_segment_access_rights(var)); in __vmx_set_segment()3924 vmcs_write32(sf->ar_bytes, ar); in seg_setup()