TERTIARY_VM_EXEC_CONTROL
tertiary_exec_control = vmcs_read64(TERTIARY_VM_EXEC_CONTROL);
BUILD_CONTROLS_SHADOW(tertiary_exec, TERTIARY_VM_EXEC_CONTROL, 64)