On Wed, May 2, 2018 at 1:58 AM, Roman Kagan <rkagan@xxxxxxxxxxxxx> wrote: was thinking of three-argument FIELD/FIELD64 macros, taking the field > id, field name, and desired offset. Not sure if this can be done > without an extra file included twice, first to define > vmcs_field_to_offset_table, and second to assert the offsets. We could also merge this extra file with vmx_shadow_fields.h, and perhaps we'd ultimately end up with something like VMware's x86vt-vmcs-fields.h. But I think I'll pass for now.