VM_ENTRY_INSTRUCTION_LEN
EVMCS1_FIELD(VM_ENTRY_INSTRUCTION_LEN, vm_entry_instruction_len,
vmcs_write32(VM_ENTRY_INSTRUCTION_LEN,
FIELD(VM_ENTRY_INSTRUCTION_LEN, vm_entry_instruction_len),
SHADOW_FIELD_RW(VM_ENTRY_INSTRUCTION_LEN, vm_entry_instruction_len)
vmcs_write32(VM_ENTRY_INSTRUCTION_LEN,
vmcs_write32(VM_ENTRY_INSTRUCTION_LEN,
vmcs_read32(VM_ENTRY_INSTRUCTION_LEN));
VM_ENTRY_INSTRUCTION_LEN,
case VM_ENTRY_INSTRUCTION_LEN:
case VM_ENTRY_INSTRUCTION_LEN: