239 extern struct hv_enlightened_vmcs *current_evmcs;
253 	current_evmcs = vmcs;  in evmcs_vmptrld()
263 	current_evmcs->revision_id = EVMCS_VERSION;  in load_evmcs()
280 		*value = current_evmcs->guest_rip;  in evmcs_vmread()
283 		*value = current_evmcs->guest_rsp;  in evmcs_vmread()
286 		*value = current_evmcs->guest_rflags;  in evmcs_vmread()
289 		*value = current_evmcs->host_ia32_pat;  in evmcs_vmread()
292 		*value = current_evmcs->host_ia32_efer;  in evmcs_vmread()
295 		*value = current_evmcs->host_cr0;  in evmcs_vmread()
298 		*value = current_evmcs->host_cr3;  in evmcs_vmread()
301 		*value = current_evmcs->host_cr4;  in evmcs_vmread()
304 		*value = current_evmcs->host_ia32_sysenter_esp;  in evmcs_vmread()
307 		*value = current_evmcs->host_ia32_sysenter_eip;  in evmcs_vmread()
310 		*value = current_evmcs->host_rip;  in evmcs_vmread()
313 		*value = current_evmcs->io_bitmap_a;  in evmcs_vmread()
316 		*value = current_evmcs->io_bitmap_b;  in evmcs_vmread()
319 		*value = current_evmcs->msr_bitmap;  in evmcs_vmread()
322 		*value = current_evmcs->guest_es_base;  in evmcs_vmread()
325 		*value = current_evmcs->guest_cs_base;  in evmcs_vmread()
328 		*value = current_evmcs->guest_ss_base;  in evmcs_vmread()
331 		*value = current_evmcs->guest_ds_base;  in evmcs_vmread()
334 		*value = current_evmcs->guest_fs_base;  in evmcs_vmread()
337 		*value = current_evmcs->guest_gs_base;  in evmcs_vmread()
340 		*value = current_evmcs->guest_ldtr_base;  in evmcs_vmread()
343 		*value = current_evmcs->guest_tr_base;  in evmcs_vmread()
346 		*value = current_evmcs->guest_gdtr_base;  in evmcs_vmread()
349 		*value = current_evmcs->guest_idtr_base;  in evmcs_vmread()
352 		*value = current_evmcs->tsc_offset;  in evmcs_vmread()
355 		*value = current_evmcs->virtual_apic_page_addr;  in evmcs_vmread()
358 		*value = current_evmcs->vmcs_link_pointer;  in evmcs_vmread()
361 		*value = current_evmcs->guest_ia32_debugctl;  in evmcs_vmread()
364 		*value = current_evmcs->guest_ia32_pat;  in evmcs_vmread()
367 		*value = current_evmcs->guest_ia32_efer;  in evmcs_vmread()
370 		*value = current_evmcs->guest_pdptr0;  in evmcs_vmread()
373 		*value = current_evmcs->guest_pdptr1;  in evmcs_vmread()
376 		*value = current_evmcs->guest_pdptr2;  in evmcs_vmread()
379 		*value = current_evmcs->guest_pdptr3;  in evmcs_vmread()
382 		*value = current_evmcs->guest_pending_dbg_exceptions;  in evmcs_vmread()
385 		*value = current_evmcs->guest_sysenter_esp;  in evmcs_vmread()
388 		*value = current_evmcs->guest_sysenter_eip;  in evmcs_vmread()
391 		*value = current_evmcs->cr0_guest_host_mask;  in evmcs_vmread()
394 		*value = current_evmcs->cr4_guest_host_mask;  in evmcs_vmread()
397 		*value = current_evmcs->cr0_read_shadow;  in evmcs_vmread()
400 		*value = current_evmcs->cr4_read_shadow;  in evmcs_vmread()
403 		*value = current_evmcs->guest_cr0;  in evmcs_vmread()
406 		*value = current_evmcs->guest_cr3;  in evmcs_vmread()
409 		*value = current_evmcs->guest_cr4;  in evmcs_vmread()
412 		*value = current_evmcs->guest_dr7;  in evmcs_vmread()
415 		*value = current_evmcs->host_fs_base;  in evmcs_vmread()
418 		*value = current_evmcs->host_gs_base;  in evmcs_vmread()
421 		*value = current_evmcs->host_tr_base;  in evmcs_vmread()
424 		*value = current_evmcs->host_gdtr_base;  in evmcs_vmread()
427 		*value = current_evmcs->host_idtr_base;  in evmcs_vmread()
430 		*value = current_evmcs->host_rsp;  in evmcs_vmread()
433 		*value = current_evmcs->ept_pointer;  in evmcs_vmread()
436 		*value = current_evmcs->guest_bndcfgs;  in evmcs_vmread()
439 		*value = current_evmcs->xss_exit_bitmap;  in evmcs_vmread()
442 		*value = current_evmcs->guest_physical_address;  in evmcs_vmread()
445 		*value = current_evmcs->exit_qualification;  in evmcs_vmread()
448 		*value = current_evmcs->guest_linear_address;  in evmcs_vmread()
451 		*value = current_evmcs->vm_exit_msr_store_addr;  in evmcs_vmread()
454 		*value = current_evmcs->vm_exit_msr_load_addr;  in evmcs_vmread()
457 		*value = current_evmcs->vm_entry_msr_load_addr;  in evmcs_vmread()
460 		*value = current_evmcs->cr3_target_value0;  in evmcs_vmread()
463 		*value = current_evmcs->cr3_target_value1;  in evmcs_vmread()
466 		*value = current_evmcs->cr3_target_value2;  in evmcs_vmread()
469 		*value = current_evmcs->cr3_target_value3;  in evmcs_vmread()
472 		*value = current_evmcs->tpr_threshold;  in evmcs_vmread()
475 		*value = current_evmcs->guest_interruptibility_info;  in evmcs_vmread()
478 		*value = current_evmcs->cpu_based_vm_exec_control;  in evmcs_vmread()
481 		*value = current_evmcs->exception_bitmap;  in evmcs_vmread()
484 		*value = current_evmcs->vm_entry_controls;  in evmcs_vmread()
487 		*value = current_evmcs->vm_entry_intr_info_field;  in evmcs_vmread()
490 		*value = current_evmcs->vm_entry_exception_error_code;  in evmcs_vmread()
493 		*value = current_evmcs->vm_entry_instruction_len;  in evmcs_vmread()
496 		*value = current_evmcs->host_ia32_sysenter_cs;  in evmcs_vmread()
499 		*value = current_evmcs->pin_based_vm_exec_control;  in evmcs_vmread()
502 		*value = current_evmcs->vm_exit_controls;  in evmcs_vmread()
505 		*value = current_evmcs->secondary_vm_exec_control;  in evmcs_vmread()
508 		*value = current_evmcs->guest_es_limit;  in evmcs_vmread()
511 		*value = current_evmcs->guest_cs_limit;  in evmcs_vmread()
514 		*value = current_evmcs->guest_ss_limit;  in evmcs_vmread()
517 		*value = current_evmcs->guest_ds_limit;  in evmcs_vmread()
520 		*value = current_evmcs->guest_fs_limit;  in evmcs_vmread()
523 		*value = current_evmcs->guest_gs_limit;  in evmcs_vmread()
526 		*value = current_evmcs->guest_ldtr_limit;  in evmcs_vmread()
529 		*value = current_evmcs->guest_tr_limit;  in evmcs_vmread()
532 		*value = current_evmcs->guest_gdtr_limit;  in evmcs_vmread()
535 		*value = current_evmcs->guest_idtr_limit;  in evmcs_vmread()
538 		*value = current_evmcs->guest_es_ar_bytes;  in evmcs_vmread()
541 		*value = current_evmcs->guest_cs_ar_bytes;  in evmcs_vmread()
544 		*value = current_evmcs->guest_ss_ar_bytes;  in evmcs_vmread()
547 		*value = current_evmcs->guest_ds_ar_bytes;  in evmcs_vmread()
550 		*value = current_evmcs->guest_fs_ar_bytes;  in evmcs_vmread()
553 		*value = current_evmcs->guest_gs_ar_bytes;  in evmcs_vmread()
556 		*value = current_evmcs->guest_ldtr_ar_bytes;  in evmcs_vmread()
559 		*value = current_evmcs->guest_tr_ar_bytes;  in evmcs_vmread()
562 		*value = current_evmcs->guest_activity_state;  in evmcs_vmread()
565 		*value = current_evmcs->guest_sysenter_cs;  in evmcs_vmread()
568 		*value = current_evmcs->vm_instruction_error;  in evmcs_vmread()
571 		*value = current_evmcs->vm_exit_reason;  in evmcs_vmread()
574 		*value = current_evmcs->vm_exit_intr_info;  in evmcs_vmread()
577 		*value = current_evmcs->vm_exit_intr_error_code;  in evmcs_vmread()
580 		*value = current_evmcs->idt_vectoring_info_field;  in evmcs_vmread()
583 		*value = current_evmcs->idt_vectoring_error_code;  in evmcs_vmread()
586 		*value = current_evmcs->vm_exit_instruction_len;  in evmcs_vmread()
589 		*value = current_evmcs->vmx_instruction_info;  in evmcs_vmread()
592 		*value = current_evmcs->page_fault_error_code_mask;  in evmcs_vmread()
595 		*value = current_evmcs->page_fault_error_code_match;  in evmcs_vmread()
598 		*value = current_evmcs->cr3_target_count;  in evmcs_vmread()
601 		*value = current_evmcs->vm_exit_msr_store_count;  in evmcs_vmread()
604 		*value = current_evmcs->vm_exit_msr_load_count;  in evmcs_vmread()
607 		*value = current_evmcs->vm_entry_msr_load_count;  in evmcs_vmread()
610 		*value = current_evmcs->host_es_selector;  in evmcs_vmread()
613 		*value = current_evmcs->host_cs_selector;  in evmcs_vmread()
616 		*value = current_evmcs->host_ss_selector;  in evmcs_vmread()
619 		*value = current_evmcs->host_ds_selector;  in evmcs_vmread()
622 		*value = current_evmcs->host_fs_selector;  in evmcs_vmread()
625 		*value = current_evmcs->host_gs_selector;  in evmcs_vmread()
628 		*value = current_evmcs->host_tr_selector;  in evmcs_vmread()
631 		*value = current_evmcs->guest_es_selector;  in evmcs_vmread()
634 		*value = current_evmcs->guest_cs_selector;  in evmcs_vmread()
637 		*value = current_evmcs->guest_ss_selector;  in evmcs_vmread()
640 		*value = current_evmcs->guest_ds_selector;  in evmcs_vmread()
643 		*value = current_evmcs->guest_fs_selector;  in evmcs_vmread()
646 		*value = current_evmcs->guest_gs_selector;  in evmcs_vmread()
649 		*value = current_evmcs->guest_ldtr_selector;  in evmcs_vmread()
652 		*value = current_evmcs->guest_tr_selector;  in evmcs_vmread()
655 		*value = current_evmcs->virtual_processor_id;  in evmcs_vmread()
658 		*value = current_evmcs->host_ia32_perf_global_ctrl;  in evmcs_vmread()
661 		*value = current_evmcs->guest_ia32_perf_global_ctrl;  in evmcs_vmread()
664 		*value = current_evmcs->encls_exiting_bitmap;  in evmcs_vmread()
667 		*value = current_evmcs->tsc_multiplier;  in evmcs_vmread()
679 		current_evmcs->guest_rip = value;  in evmcs_vmwrite()
680 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
683 		current_evmcs->guest_rsp = value;  in evmcs_vmwrite()
684 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_BASIC;  in evmcs_vmwrite()
687 		current_evmcs->guest_rflags = value;  in evmcs_vmwrite()
688 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_BASIC;  in evmcs_vmwrite()
691 		current_evmcs->host_ia32_pat = value;  in evmcs_vmwrite()
692 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
695 		current_evmcs->host_ia32_efer = value;  in evmcs_vmwrite()
696 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
699 		current_evmcs->host_cr0 = value;  in evmcs_vmwrite()
700 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
703 		current_evmcs->host_cr3 = value;  in evmcs_vmwrite()
704 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
707 		current_evmcs->host_cr4 = value;  in evmcs_vmwrite()
708 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
711 		current_evmcs->host_ia32_sysenter_esp = value;  in evmcs_vmwrite()
712 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
715 		current_evmcs->host_ia32_sysenter_eip = value;  in evmcs_vmwrite()
716 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
719 		current_evmcs->host_rip = value;  in evmcs_vmwrite()
720 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
723 		current_evmcs->io_bitmap_a = value;  in evmcs_vmwrite()
724 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_IO_BITMAP;  in evmcs_vmwrite()
727 		current_evmcs->io_bitmap_b = value;  in evmcs_vmwrite()
728 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_IO_BITMAP;  in evmcs_vmwrite()
731 		current_evmcs->msr_bitmap = value;  in evmcs_vmwrite()
732 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_MSR_BITMAP;  in evmcs_vmwrite()
735 		current_evmcs->guest_es_base = value;  in evmcs_vmwrite()
736 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
739 		current_evmcs->guest_cs_base = value;  in evmcs_vmwrite()
740 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
743 		current_evmcs->guest_ss_base = value;  in evmcs_vmwrite()
744 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
747 		current_evmcs->guest_ds_base = value;  in evmcs_vmwrite()
748 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
751 		current_evmcs->guest_fs_base = value;  in evmcs_vmwrite()
752 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
755 		current_evmcs->guest_gs_base = value;  in evmcs_vmwrite()
756 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
759 		current_evmcs->guest_ldtr_base = value;  in evmcs_vmwrite()
760 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
763 		current_evmcs->guest_tr_base = value;  in evmcs_vmwrite()
764 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
767 		current_evmcs->guest_gdtr_base = value;  in evmcs_vmwrite()
768 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
771 		current_evmcs->guest_idtr_base = value;  in evmcs_vmwrite()
772 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
775 		current_evmcs->tsc_offset = value;  in evmcs_vmwrite()
776 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP2;  in evmcs_vmwrite()
779 		current_evmcs->virtual_apic_page_addr = value;  in evmcs_vmwrite()
780 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP2;  in evmcs_vmwrite()
783 		current_evmcs->vmcs_link_pointer = value;  in evmcs_vmwrite()
784 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
787 		current_evmcs->guest_ia32_debugctl = value;  in evmcs_vmwrite()
788 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
791 		current_evmcs->guest_ia32_pat = value;  in evmcs_vmwrite()
792 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
795 		current_evmcs->guest_ia32_efer = value;  in evmcs_vmwrite()
796 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
799 		current_evmcs->guest_pdptr0 = value;  in evmcs_vmwrite()
800 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
803 		current_evmcs->guest_pdptr1 = value;  in evmcs_vmwrite()
804 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
807 		current_evmcs->guest_pdptr2 = value;  in evmcs_vmwrite()
808 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
811 		current_evmcs->guest_pdptr3 = value;  in evmcs_vmwrite()
812 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
815 		current_evmcs->guest_pending_dbg_exceptions = value;  in evmcs_vmwrite()
816 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
819 		current_evmcs->guest_sysenter_esp = value;  in evmcs_vmwrite()
820 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
823 		current_evmcs->guest_sysenter_eip = value;  in evmcs_vmwrite()
824 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
827 		current_evmcs->cr0_guest_host_mask = value;  in evmcs_vmwrite()
828 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
831 		current_evmcs->cr4_guest_host_mask = value;  in evmcs_vmwrite()
832 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
835 		current_evmcs->cr0_read_shadow = value;  in evmcs_vmwrite()
836 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
839 		current_evmcs->cr4_read_shadow = value;  in evmcs_vmwrite()
840 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
843 		current_evmcs->guest_cr0 = value;  in evmcs_vmwrite()
844 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
847 		current_evmcs->guest_cr3 = value;  in evmcs_vmwrite()
848 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
851 		current_evmcs->guest_cr4 = value;  in evmcs_vmwrite()
852 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
855 		current_evmcs->guest_dr7 = value;  in evmcs_vmwrite()
856 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CRDR;  in evmcs_vmwrite()
859 		current_evmcs->host_fs_base = value;  in evmcs_vmwrite()
860 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmwrite()
863 		current_evmcs->host_gs_base = value;  in evmcs_vmwrite()
864 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmwrite()
867 		current_evmcs->host_tr_base = value;  in evmcs_vmwrite()
868 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmwrite()
871 		current_evmcs->host_gdtr_base = value;  in evmcs_vmwrite()
872 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmwrite()
875 		current_evmcs->host_idtr_base = value;  in evmcs_vmwrite()
876 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmwrite()
879 		current_evmcs->host_rsp = value;  in evmcs_vmwrite()
880 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmwrite()
883 		current_evmcs->ept_pointer = value;  in evmcs_vmwrite()
884 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_XLAT;  in evmcs_vmwrite()
887 		current_evmcs->guest_bndcfgs = value;  in evmcs_vmwrite()
888 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
891 		current_evmcs->xss_exit_bitmap = value;  in evmcs_vmwrite()
892 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP2;  in evmcs_vmwrite()
895 		current_evmcs->guest_physical_address = value;  in evmcs_vmwrite()
896 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
899 		current_evmcs->exit_qualification = value;  in evmcs_vmwrite()
900 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
903 		current_evmcs->guest_linear_address = value;  in evmcs_vmwrite()
904 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
907 		current_evmcs->vm_exit_msr_store_addr = value;  in evmcs_vmwrite()
908 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
911 		current_evmcs->vm_exit_msr_load_addr = value;  in evmcs_vmwrite()
912 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
915 		current_evmcs->vm_entry_msr_load_addr = value;  in evmcs_vmwrite()
916 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
919 		current_evmcs->cr3_target_value0 = value;  in evmcs_vmwrite()
920 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
923 		current_evmcs->cr3_target_value1 = value;  in evmcs_vmwrite()
924 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
927 		current_evmcs->cr3_target_value2 = value;  in evmcs_vmwrite()
928 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
931 		current_evmcs->cr3_target_value3 = value;  in evmcs_vmwrite()
932 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
935 		current_evmcs->tpr_threshold = value;  in evmcs_vmwrite()
936 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
939 		current_evmcs->guest_interruptibility_info = value;  in evmcs_vmwrite()
940 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_BASIC;  in evmcs_vmwrite()
943 		current_evmcs->cpu_based_vm_exec_control = value;  in evmcs_vmwrite()
944 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_PROC;  in evmcs_vmwrite()
947 		current_evmcs->exception_bitmap = value;  in evmcs_vmwrite()
948 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_EXCPN;  in evmcs_vmwrite()
951 		current_evmcs->vm_entry_controls = value;  in evmcs_vmwrite()
952 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_ENTRY;  in evmcs_vmwrite()
955 		current_evmcs->vm_entry_intr_info_field = value;  in evmcs_vmwrite()
956 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_EVENT;  in evmcs_vmwrite()
959 		current_evmcs->vm_entry_exception_error_code = value;  in evmcs_vmwrite()
960 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_EVENT;  in evmcs_vmwrite()
963 		current_evmcs->vm_entry_instruction_len = value;  in evmcs_vmwrite()
964 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_EVENT;  in evmcs_vmwrite()
967 		current_evmcs->host_ia32_sysenter_cs = value;  in evmcs_vmwrite()
968 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
971 		current_evmcs->pin_based_vm_exec_control = value;  in evmcs_vmwrite()
972 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP1;  in evmcs_vmwrite()
975 		current_evmcs->vm_exit_controls = value;  in evmcs_vmwrite()
976 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP1;  in evmcs_vmwrite()
979 		current_evmcs->secondary_vm_exec_control = value;  in evmcs_vmwrite()
980 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP1;  in evmcs_vmwrite()
983 		current_evmcs->guest_es_limit = value;  in evmcs_vmwrite()
984 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
987 		current_evmcs->guest_cs_limit = value;  in evmcs_vmwrite()
988 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
991 		current_evmcs->guest_ss_limit = value;  in evmcs_vmwrite()
992 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
995 		current_evmcs->guest_ds_limit = value;  in evmcs_vmwrite()
996 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
999 		current_evmcs->guest_fs_limit = value;  in evmcs_vmwrite()
1000 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1003 		current_evmcs->guest_gs_limit = value;  in evmcs_vmwrite()
1004 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1007 		current_evmcs->guest_ldtr_limit = value;  in evmcs_vmwrite()
1008 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1011 		current_evmcs->guest_tr_limit = value;  in evmcs_vmwrite()
1012 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1015 		current_evmcs->guest_gdtr_limit = value;  in evmcs_vmwrite()
1016 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1019 		current_evmcs->guest_idtr_limit = value;  in evmcs_vmwrite()
1020 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1023 		current_evmcs->guest_es_ar_bytes = value;  in evmcs_vmwrite()
1024 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1027 		current_evmcs->guest_cs_ar_bytes = value;  in evmcs_vmwrite()
1028 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1031 		current_evmcs->guest_ss_ar_bytes = value;  in evmcs_vmwrite()
1032 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1035 		current_evmcs->guest_ds_ar_bytes = value;  in evmcs_vmwrite()
1036 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1039 		current_evmcs->guest_fs_ar_bytes = value;  in evmcs_vmwrite()
1040 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1043 		current_evmcs->guest_gs_ar_bytes = value;  in evmcs_vmwrite()
1044 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1047 		current_evmcs->guest_ldtr_ar_bytes = value;  in evmcs_vmwrite()
1048 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1051 		current_evmcs->guest_tr_ar_bytes = value;  in evmcs_vmwrite()
1052 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1055 		current_evmcs->guest_activity_state = value;  in evmcs_vmwrite()
1056 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
1059 		current_evmcs->guest_sysenter_cs = value;  in evmcs_vmwrite()
1060 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
1063 		current_evmcs->vm_instruction_error = value;  in evmcs_vmwrite()
1064 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1067 		current_evmcs->vm_exit_reason = value;  in evmcs_vmwrite()
1068 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1071 		current_evmcs->vm_exit_intr_info = value;  in evmcs_vmwrite()
1072 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1075 		current_evmcs->vm_exit_intr_error_code = value;  in evmcs_vmwrite()
1076 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1079 		current_evmcs->idt_vectoring_info_field = value;  in evmcs_vmwrite()
1080 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1083 		current_evmcs->idt_vectoring_error_code = value;  in evmcs_vmwrite()
1084 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1087 		current_evmcs->vm_exit_instruction_len = value;  in evmcs_vmwrite()
1088 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1091 		current_evmcs->vmx_instruction_info = value;  in evmcs_vmwrite()
1092 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_NONE;  in evmcs_vmwrite()
1095 		current_evmcs->page_fault_error_code_mask = value;  in evmcs_vmwrite()
1096 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
1099 		current_evmcs->page_fault_error_code_match = value;  in evmcs_vmwrite()
1100 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
1103 		current_evmcs->cr3_target_count = value;  in evmcs_vmwrite()
1104 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
1107 		current_evmcs->vm_exit_msr_store_count = value;  in evmcs_vmwrite()
1108 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
1111 		current_evmcs->vm_exit_msr_load_count = value;  in evmcs_vmwrite()
1112 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
1115 		current_evmcs->vm_entry_msr_load_count = value;  in evmcs_vmwrite()
1116 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_ALL;  in evmcs_vmwrite()
1119 		current_evmcs->host_es_selector = value;  in evmcs_vmwrite()
1120 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1123 		current_evmcs->host_cs_selector = value;  in evmcs_vmwrite()
1124 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1127 		current_evmcs->host_ss_selector = value;  in evmcs_vmwrite()
1128 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1131 		current_evmcs->host_ds_selector = value;  in evmcs_vmwrite()
1132 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1135 		current_evmcs->host_fs_selector = value;  in evmcs_vmwrite()
1136 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1139 		current_evmcs->host_gs_selector = value;  in evmcs_vmwrite()
1140 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1143 		current_evmcs->host_tr_selector = value;  in evmcs_vmwrite()
1144 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1147 		current_evmcs->guest_es_selector = value;  in evmcs_vmwrite()
1148 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1151 		current_evmcs->guest_cs_selector = value;  in evmcs_vmwrite()
1152 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1155 		current_evmcs->guest_ss_selector = value;  in evmcs_vmwrite()
1156 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1159 		current_evmcs->guest_ds_selector = value;  in evmcs_vmwrite()
1160 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1163 		current_evmcs->guest_fs_selector = value;  in evmcs_vmwrite()
1164 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1167 		current_evmcs->guest_gs_selector = value;  in evmcs_vmwrite()
1168 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1171 		current_evmcs->guest_ldtr_selector = value;  in evmcs_vmwrite()
1172 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1175 		current_evmcs->guest_tr_selector = value;  in evmcs_vmwrite()
1176 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP2;  in evmcs_vmwrite()
1179 		current_evmcs->virtual_processor_id = value;  in evmcs_vmwrite()
1180 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_XLAT;  in evmcs_vmwrite()
1183 		current_evmcs->host_ia32_perf_global_ctrl = value;  in evmcs_vmwrite()
1184 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmwrite()
1187 		current_evmcs->guest_ia32_perf_global_ctrl = value;  in evmcs_vmwrite()
1188 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_GUEST_GRP1;  in evmcs_vmwrite()
1191 		current_evmcs->encls_exiting_bitmap = value;  in evmcs_vmwrite()
1192 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP2;  in evmcs_vmwrite()
1195 		current_evmcs->tsc_multiplier = value;  in evmcs_vmwrite()
1196 		current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_CONTROL_GRP2;  in evmcs_vmwrite()
1208 	current_evmcs->hv_clean_fields = 0;  in evmcs_vmlaunch()
1229 			       ((uint64_t)&current_evmcs->host_rsp),  in evmcs_vmlaunch()
1231 			       ((uint64_t)&current_evmcs->host_rip)  in evmcs_vmlaunch()
1245 	current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_GRP1;  in evmcs_vmresume()
1247 	current_evmcs->hv_clean_fields &= ~HV_VMX_ENLIGHTENED_CLEAN_FIELD_HOST_POINTER;  in evmcs_vmresume()
1268 			       ((uint64_t)&current_evmcs->host_rsp),  in evmcs_vmresume()
1270 			       ((uint64_t)&current_evmcs->host_rip)  in evmcs_vmresume()