271 static inline int evmcs_vmptrst(uint64_t *value)  in evmcs_vmptrst()  argument
273 	*value = current_vp_assist->current_nested_vmcs &  in evmcs_vmptrst()
279 static inline int evmcs_vmread(uint64_t encoding, uint64_t *value)  in evmcs_vmread()  argument
283 		*value = current_evmcs->guest_rip;  in evmcs_vmread()
286 		*value = current_evmcs->guest_rsp;  in evmcs_vmread()
289 		*value = current_evmcs->guest_rflags;  in evmcs_vmread()
292 		*value = current_evmcs->host_ia32_pat;  in evmcs_vmread()
295 		*value = current_evmcs->host_ia32_efer;  in evmcs_vmread()
298 		*value = current_evmcs->host_cr0;  in evmcs_vmread()
301 		*value = current_evmcs->host_cr3;  in evmcs_vmread()
304 		*value = current_evmcs->host_cr4;  in evmcs_vmread()
307 		*value = current_evmcs->host_ia32_sysenter_esp;  in evmcs_vmread()
310 		*value = current_evmcs->host_ia32_sysenter_eip;  in evmcs_vmread()
313 		*value = current_evmcs->host_rip;  in evmcs_vmread()
316 		*value = current_evmcs->io_bitmap_a;  in evmcs_vmread()
319 		*value = current_evmcs->io_bitmap_b;  in evmcs_vmread()
322 		*value = current_evmcs->msr_bitmap;  in evmcs_vmread()
325 		*value = current_evmcs->guest_es_base;  in evmcs_vmread()
328 		*value = current_evmcs->guest_cs_base;  in evmcs_vmread()
331 		*value = current_evmcs->guest_ss_base;  in evmcs_vmread()
334 		*value = current_evmcs->guest_ds_base;  in evmcs_vmread()
337 		*value = current_evmcs->guest_fs_base;  in evmcs_vmread()
340 		*value = current_evmcs->guest_gs_base;  in evmcs_vmread()
343 		*value = current_evmcs->guest_ldtr_base;  in evmcs_vmread()
346 		*value = current_evmcs->guest_tr_base;  in evmcs_vmread()
349 		*value = current_evmcs->guest_gdtr_base;  in evmcs_vmread()
352 		*value = current_evmcs->guest_idtr_base;  in evmcs_vmread()
355 		*value = current_evmcs->tsc_offset;  in evmcs_vmread()
358 		*value = current_evmcs->virtual_apic_page_addr;  in evmcs_vmread()
361 		*value = current_evmcs->vmcs_link_pointer;  in evmcs_vmread()
364 		*value = current_evmcs->guest_ia32_debugctl;  in evmcs_vmread()
367 		*value = current_evmcs->guest_ia32_pat;  in evmcs_vmread()
370 		*value = current_evmcs->guest_ia32_efer;  in evmcs_vmread()
373 		*value = current_evmcs->guest_pdptr0;  in evmcs_vmread()
376 		*value = current_evmcs->guest_pdptr1;  in evmcs_vmread()
379 		*value = current_evmcs->guest_pdptr2;  in evmcs_vmread()
382 		*value = current_evmcs->guest_pdptr3;  in evmcs_vmread()
385 		*value = current_evmcs->guest_pending_dbg_exceptions;  in evmcs_vmread()
388 		*value = current_evmcs->guest_sysenter_esp;  in evmcs_vmread()
391 		*value = current_evmcs->guest_sysenter_eip;  in evmcs_vmread()
394 		*value = current_evmcs->cr0_guest_host_mask;  in evmcs_vmread()
397 		*value = current_evmcs->cr4_guest_host_mask;  in evmcs_vmread()
400 		*value = current_evmcs->cr0_read_shadow;  in evmcs_vmread()
403 		*value = current_evmcs->cr4_read_shadow;  in evmcs_vmread()
406 		*value = current_evmcs->guest_cr0;  in evmcs_vmread()
409 		*value = current_evmcs->guest_cr3;  in evmcs_vmread()
412 		*value = current_evmcs->guest_cr4;  in evmcs_vmread()
415 		*value = current_evmcs->guest_dr7;  in evmcs_vmread()
418 		*value = current_evmcs->host_fs_base;  in evmcs_vmread()
421 		*value = current_evmcs->host_gs_base;  in evmcs_vmread()
424 		*value = current_evmcs->host_tr_base;  in evmcs_vmread()
427 		*value = current_evmcs->host_gdtr_base;  in evmcs_vmread()
430 		*value = current_evmcs->host_idtr_base;  in evmcs_vmread()
433 		*value = current_evmcs->host_rsp;  in evmcs_vmread()
436 		*value = current_evmcs->ept_pointer;  in evmcs_vmread()
439 		*value = current_evmcs->guest_bndcfgs;  in evmcs_vmread()
442 		*value = current_evmcs->xss_exit_bitmap;  in evmcs_vmread()
445 		*value = current_evmcs->guest_physical_address;  in evmcs_vmread()
448 		*value = current_evmcs->exit_qualification;  in evmcs_vmread()
451 		*value = current_evmcs->guest_linear_address;  in evmcs_vmread()
454 		*value = current_evmcs->vm_exit_msr_store_addr;  in evmcs_vmread()
457 		*value = current_evmcs->vm_exit_msr_load_addr;  in evmcs_vmread()
460 		*value = current_evmcs->vm_entry_msr_load_addr;  in evmcs_vmread()
463 		*value = current_evmcs->cr3_target_value0;  in evmcs_vmread()
466 		*value = current_evmcs->cr3_target_value1;  in evmcs_vmread()
469 		*value = current_evmcs->cr3_target_value2;  in evmcs_vmread()
472 		*value = current_evmcs->cr3_target_value3;  in evmcs_vmread()
475 		*value = current_evmcs->tpr_threshold;  in evmcs_vmread()
478 		*value = current_evmcs->guest_interruptibility_info;  in evmcs_vmread()
481 		*value = current_evmcs->cpu_based_vm_exec_control;  in evmcs_vmread()
484 		*value = current_evmcs->exception_bitmap;  in evmcs_vmread()
487 		*value = current_evmcs->vm_entry_controls;  in evmcs_vmread()
490 		*value = current_evmcs->vm_entry_intr_info_field;  in evmcs_vmread()
493 		*value = current_evmcs->vm_entry_exception_error_code;  in evmcs_vmread()
496 		*value = current_evmcs->vm_entry_instruction_len;  in evmcs_vmread()
499 		*value = current_evmcs->host_ia32_sysenter_cs;  in evmcs_vmread()
502 		*value = current_evmcs->pin_based_vm_exec_control;  in evmcs_vmread()
505 		*value = current_evmcs->vm_exit_controls;  in evmcs_vmread()
508 		*value = current_evmcs->secondary_vm_exec_control;  in evmcs_vmread()
511 		*value = current_evmcs->guest_es_limit;  in evmcs_vmread()
514 		*value = current_evmcs->guest_cs_limit;  in evmcs_vmread()
517 		*value = current_evmcs->guest_ss_limit;  in evmcs_vmread()
520 		*value = current_evmcs->guest_ds_limit;  in evmcs_vmread()
523 		*value = current_evmcs->guest_fs_limit;  in evmcs_vmread()
526 		*value = current_evmcs->guest_gs_limit;  in evmcs_vmread()
529 		*value = current_evmcs->guest_ldtr_limit;  in evmcs_vmread()
532 		*value = current_evmcs->guest_tr_limit;  in evmcs_vmread()
535 		*value = current_evmcs->guest_gdtr_limit;  in evmcs_vmread()
538 		*value = current_evmcs->guest_idtr_limit;  in evmcs_vmread()
541 		*value = current_evmcs->guest_es_ar_bytes;  in evmcs_vmread()
544 		*value = current_evmcs->guest_cs_ar_bytes;  in evmcs_vmread()
547 		*value = current_evmcs->guest_ss_ar_bytes;  in evmcs_vmread()
550 		*value = current_evmcs->guest_ds_ar_bytes;  in evmcs_vmread()
553 		*value = current_evmcs->guest_fs_ar_bytes;  in evmcs_vmread()
556 		*value = current_evmcs->guest_gs_ar_bytes;  in evmcs_vmread()
559 		*value = current_evmcs->guest_ldtr_ar_bytes;  in evmcs_vmread()
562 		*value = current_evmcs->guest_tr_ar_bytes;  in evmcs_vmread()
565 		*value = current_evmcs->guest_activity_state;  in evmcs_vmread()
568 		*value = current_evmcs->guest_sysenter_cs;  in evmcs_vmread()
571 		*value = current_evmcs->vm_instruction_error;  in evmcs_vmread()
574 		*value = current_evmcs->vm_exit_reason;  in evmcs_vmread()
577 		*value = current_evmcs->vm_exit_intr_info;  in evmcs_vmread()
580 		*value = current_evmcs->vm_exit_intr_error_code;  in evmcs_vmread()
583 		*value = current_evmcs->idt_vectoring_info_field;  in evmcs_vmread()
586 		*value = current_evmcs->idt_vectoring_error_code;  in evmcs_vmread()
589 		*value = current_evmcs->vm_exit_instruction_len;  in evmcs_vmread()
592 		*value = current_evmcs->vmx_instruction_info;  in evmcs_vmread()
595 		*value = current_evmcs->page_fault_error_code_mask;  in evmcs_vmread()
598 		*value = current_evmcs->page_fault_error_code_match;  in evmcs_vmread()
601 		*value = current_evmcs->cr3_target_count;  in evmcs_vmread()
604 		*value = current_evmcs->vm_exit_msr_store_count;  in evmcs_vmread()
607 		*value = current_evmcs->vm_exit_msr_load_count;  in evmcs_vmread()
610 		*value = current_evmcs->vm_entry_msr_load_count;  in evmcs_vmread()
613 		*value = current_evmcs->host_es_selector;  in evmcs_vmread()
616 		*value = current_evmcs->host_cs_selector;  in evmcs_vmread()
619 		*value = current_evmcs->host_ss_selector;  in evmcs_vmread()
622 		*value = current_evmcs->host_ds_selector;  in evmcs_vmread()
625 		*value = current_evmcs->host_fs_selector;  in evmcs_vmread()
628 		*value = current_evmcs->host_gs_selector;  in evmcs_vmread()
631 		*value = current_evmcs->host_tr_selector;  in evmcs_vmread()
634 		*value = current_evmcs->guest_es_selector;  in evmcs_vmread()
637 		*value = current_evmcs->guest_cs_selector;  in evmcs_vmread()
640 		*value = current_evmcs->guest_ss_selector;  in evmcs_vmread()
643 		*value = current_evmcs->guest_ds_selector;  in evmcs_vmread()
646 		*value = current_evmcs->guest_fs_selector;  in evmcs_vmread()
649 		*value = current_evmcs->guest_gs_selector;  in evmcs_vmread()
652 		*value = current_evmcs->guest_ldtr_selector;  in evmcs_vmread()
655 		*value = current_evmcs->guest_tr_selector;  in evmcs_vmread()
658 		*value = current_evmcs->virtual_processor_id;  in evmcs_vmread()
661 		*value = current_evmcs->host_ia32_perf_global_ctrl;  in evmcs_vmread()
664 		*value = current_evmcs->guest_ia32_perf_global_ctrl;  in evmcs_vmread()
667 		*value = current_evmcs->encls_exiting_bitmap;  in evmcs_vmread()
670 		*value = current_evmcs->tsc_multiplier;  in evmcs_vmread()
678 static inline int evmcs_vmwrite(uint64_t encoding, uint64_t value)  in evmcs_vmwrite()  argument
682 		current_evmcs->guest_rip = value;  in evmcs_vmwrite()
686 		current_evmcs->guest_rsp = value;  in evmcs_vmwrite()
690 		current_evmcs->guest_rflags = value;  in evmcs_vmwrite()
694 		current_evmcs->host_ia32_pat = value;  in evmcs_vmwrite()
698 		current_evmcs->host_ia32_efer = value;  in evmcs_vmwrite()
702 		current_evmcs->host_cr0 = value;  in evmcs_vmwrite()
706 		current_evmcs->host_cr3 = value;  in evmcs_vmwrite()
710 		current_evmcs->host_cr4 = value;  in evmcs_vmwrite()
714 		current_evmcs->host_ia32_sysenter_esp = value;  in evmcs_vmwrite()
718 		current_evmcs->host_ia32_sysenter_eip = value;  in evmcs_vmwrite()
722 		current_evmcs->host_rip = value;  in evmcs_vmwrite()
726 		current_evmcs->io_bitmap_a = value;  in evmcs_vmwrite()
730 		current_evmcs->io_bitmap_b = value;  in evmcs_vmwrite()
734 		current_evmcs->msr_bitmap = value;  in evmcs_vmwrite()
738 		current_evmcs->guest_es_base = value;  in evmcs_vmwrite()
742 		current_evmcs->guest_cs_base = value;  in evmcs_vmwrite()
746 		current_evmcs->guest_ss_base = value;  in evmcs_vmwrite()
750 		current_evmcs->guest_ds_base = value;  in evmcs_vmwrite()
754 		current_evmcs->guest_fs_base = value;  in evmcs_vmwrite()
758 		current_evmcs->guest_gs_base = value;  in evmcs_vmwrite()
762 		current_evmcs->guest_ldtr_base = value;  in evmcs_vmwrite()
766 		current_evmcs->guest_tr_base = value;  in evmcs_vmwrite()
770 		current_evmcs->guest_gdtr_base = value;  in evmcs_vmwrite()
774 		current_evmcs->guest_idtr_base = value;  in evmcs_vmwrite()
778 		current_evmcs->tsc_offset = value;  in evmcs_vmwrite()
782 		current_evmcs->virtual_apic_page_addr = value;  in evmcs_vmwrite()
786 		current_evmcs->vmcs_link_pointer = value;  in evmcs_vmwrite()
790 		current_evmcs->guest_ia32_debugctl = value;  in evmcs_vmwrite()
794 		current_evmcs->guest_ia32_pat = value;  in evmcs_vmwrite()
798 		current_evmcs->guest_ia32_efer = value;  in evmcs_vmwrite()
802 		current_evmcs->guest_pdptr0 = value;  in evmcs_vmwrite()
806 		current_evmcs->guest_pdptr1 = value;  in evmcs_vmwrite()
810 		current_evmcs->guest_pdptr2 = value;  in evmcs_vmwrite()
814 		current_evmcs->guest_pdptr3 = value;  in evmcs_vmwrite()
818 		current_evmcs->guest_pending_dbg_exceptions = value;  in evmcs_vmwrite()
822 		current_evmcs->guest_sysenter_esp = value;  in evmcs_vmwrite()
826 		current_evmcs->guest_sysenter_eip = value;  in evmcs_vmwrite()
830 		current_evmcs->cr0_guest_host_mask = value;  in evmcs_vmwrite()
834 		current_evmcs->cr4_guest_host_mask = value;  in evmcs_vmwrite()
838 		current_evmcs->cr0_read_shadow = value;  in evmcs_vmwrite()
842 		current_evmcs->cr4_read_shadow = value;  in evmcs_vmwrite()
846 		current_evmcs->guest_cr0 = value;  in evmcs_vmwrite()
850 		current_evmcs->guest_cr3 = value;  in evmcs_vmwrite()
854 		current_evmcs->guest_cr4 = value;  in evmcs_vmwrite()
858 		current_evmcs->guest_dr7 = value;  in evmcs_vmwrite()
862 		current_evmcs->host_fs_base = value;  in evmcs_vmwrite()
866 		current_evmcs->host_gs_base = value;  in evmcs_vmwrite()
870 		current_evmcs->host_tr_base = value;  in evmcs_vmwrite()
874 		current_evmcs->host_gdtr_base = value;  in evmcs_vmwrite()
878 		current_evmcs->host_idtr_base = value;  in evmcs_vmwrite()
882 		current_evmcs->host_rsp = value;  in evmcs_vmwrite()
886 		current_evmcs->ept_pointer = value;  in evmcs_vmwrite()
890 		current_evmcs->guest_bndcfgs = value;  in evmcs_vmwrite()
894 		current_evmcs->xss_exit_bitmap = value;  in evmcs_vmwrite()
898 		current_evmcs->guest_physical_address = value;  in evmcs_vmwrite()
902 		current_evmcs->exit_qualification = value;  in evmcs_vmwrite()
906 		current_evmcs->guest_linear_address = value;  in evmcs_vmwrite()
910 		current_evmcs->vm_exit_msr_store_addr = value;  in evmcs_vmwrite()
914 		current_evmcs->vm_exit_msr_load_addr = value;  in evmcs_vmwrite()
918 		current_evmcs->vm_entry_msr_load_addr = value;  in evmcs_vmwrite()
922 		current_evmcs->cr3_target_value0 = value;  in evmcs_vmwrite()
926 		current_evmcs->cr3_target_value1 = value;  in evmcs_vmwrite()
930 		current_evmcs->cr3_target_value2 = value;  in evmcs_vmwrite()
934 		current_evmcs->cr3_target_value3 = value;  in evmcs_vmwrite()
938 		current_evmcs->tpr_threshold = value;  in evmcs_vmwrite()
942 		current_evmcs->guest_interruptibility_info = value;  in evmcs_vmwrite()
946 		current_evmcs->cpu_based_vm_exec_control = value;  in evmcs_vmwrite()
950 		current_evmcs->exception_bitmap = value;  in evmcs_vmwrite()
954 		current_evmcs->vm_entry_controls = value;  in evmcs_vmwrite()
958 		current_evmcs->vm_entry_intr_info_field = value;  in evmcs_vmwrite()
962 		current_evmcs->vm_entry_exception_error_code = value;  in evmcs_vmwrite()
966 		current_evmcs->vm_entry_instruction_len = value;  in evmcs_vmwrite()
970 		current_evmcs->host_ia32_sysenter_cs = value;  in evmcs_vmwrite()
974 		current_evmcs->pin_based_vm_exec_control = value;  in evmcs_vmwrite()
978 		current_evmcs->vm_exit_controls = value;  in evmcs_vmwrite()
982 		current_evmcs->secondary_vm_exec_control = value;  in evmcs_vmwrite()
986 		current_evmcs->guest_es_limit = value;  in evmcs_vmwrite()
990 		current_evmcs->guest_cs_limit = value;  in evmcs_vmwrite()
994 		current_evmcs->guest_ss_limit = value;  in evmcs_vmwrite()
998 		current_evmcs->guest_ds_limit = value;  in evmcs_vmwrite()
1002 		current_evmcs->guest_fs_limit = value;  in evmcs_vmwrite()
1006 		current_evmcs->guest_gs_limit = value;  in evmcs_vmwrite()
1010 		current_evmcs->guest_ldtr_limit = value;  in evmcs_vmwrite()
1014 		current_evmcs->guest_tr_limit = value;  in evmcs_vmwrite()
1018 		current_evmcs->guest_gdtr_limit = value;  in evmcs_vmwrite()
1022 		current_evmcs->guest_idtr_limit = value;  in evmcs_vmwrite()
1026 		current_evmcs->guest_es_ar_bytes = value;  in evmcs_vmwrite()
1030 		current_evmcs->guest_cs_ar_bytes = value;  in evmcs_vmwrite()
1034 		current_evmcs->guest_ss_ar_bytes = value;  in evmcs_vmwrite()
1038 		current_evmcs->guest_ds_ar_bytes = value;  in evmcs_vmwrite()
1042 		current_evmcs->guest_fs_ar_bytes = value;  in evmcs_vmwrite()
1046 		current_evmcs->guest_gs_ar_bytes = value;  in evmcs_vmwrite()
1050 		current_evmcs->guest_ldtr_ar_bytes = value;  in evmcs_vmwrite()
1054 		current_evmcs->guest_tr_ar_bytes = value;  in evmcs_vmwrite()
1058 		current_evmcs->guest_activity_state = value;  in evmcs_vmwrite()
1062 		current_evmcs->guest_sysenter_cs = value;  in evmcs_vmwrite()
1066 		current_evmcs->vm_instruction_error = value;  in evmcs_vmwrite()
1070 		current_evmcs->vm_exit_reason = value;  in evmcs_vmwrite()
1074 		current_evmcs->vm_exit_intr_info = value;  in evmcs_vmwrite()
1078 		current_evmcs->vm_exit_intr_error_code = value;  in evmcs_vmwrite()
1082 		current_evmcs->idt_vectoring_info_field = value;  in evmcs_vmwrite()
1086 		current_evmcs->idt_vectoring_error_code = value;  in evmcs_vmwrite()
1090 		current_evmcs->vm_exit_instruction_len = value;  in evmcs_vmwrite()
1094 		current_evmcs->vmx_instruction_info = value;  in evmcs_vmwrite()
1098 		current_evmcs->page_fault_error_code_mask = value;  in evmcs_vmwrite()
1102 		current_evmcs->page_fault_error_code_match = value;  in evmcs_vmwrite()
1106 		current_evmcs->cr3_target_count = value;  in evmcs_vmwrite()
1110 		current_evmcs->vm_exit_msr_store_count = value;  in evmcs_vmwrite()
1114 		current_evmcs->vm_exit_msr_load_count = value;  in evmcs_vmwrite()
1118 		current_evmcs->vm_entry_msr_load_count = value;  in evmcs_vmwrite()
1122 		current_evmcs->host_es_selector = value;  in evmcs_vmwrite()
1126 		current_evmcs->host_cs_selector = value;  in evmcs_vmwrite()
1130 		current_evmcs->host_ss_selector = value;  in evmcs_vmwrite()
1134 		current_evmcs->host_ds_selector = value;  in evmcs_vmwrite()
1138 		current_evmcs->host_fs_selector = value;  in evmcs_vmwrite()
1142 		current_evmcs->host_gs_selector = value;  in evmcs_vmwrite()
1146 		current_evmcs->host_tr_selector = value;  in evmcs_vmwrite()
1150 		current_evmcs->guest_es_selector = value;  in evmcs_vmwrite()
1154 		current_evmcs->guest_cs_selector = value;  in evmcs_vmwrite()
1158 		current_evmcs->guest_ss_selector = value;  in evmcs_vmwrite()
1162 		current_evmcs->guest_ds_selector = value;  in evmcs_vmwrite()
1166 		current_evmcs->guest_fs_selector = value;  in evmcs_vmwrite()
1170 		current_evmcs->guest_gs_selector = value;  in evmcs_vmwrite()
1174 		current_evmcs->guest_ldtr_selector = value;  in evmcs_vmwrite()
1178 		current_evmcs->guest_tr_selector = value;  in evmcs_vmwrite()
1182 		current_evmcs->virtual_processor_id = value;  in evmcs_vmwrite()
1186 		current_evmcs->host_ia32_perf_global_ctrl = value;  in evmcs_vmwrite()
1190 		current_evmcs->guest_ia32_perf_global_ctrl = value;  in evmcs_vmwrite()
1194 		current_evmcs->encls_exiting_bitmap = value;  in evmcs_vmwrite()
1198 		current_evmcs->tsc_multiplier = value;  in evmcs_vmwrite()