github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/vmm/include/hw/vmx_asm.h (about)

     1  /*
     2   * Copyright (c) 2013 Intel Corporation
     3   *
     4   * Licensed under the Apache License, Version 2.0 (the "License");
     5   * you may not use this file except in compliance with the License.
     6   * You may obtain a copy of the License at
     7   *     http://www.apache.org/licenses/LICENSE-2.0
     8   * Unless required by applicable law or agreed to in writing, software
     9   * distributed under the License is distributed on an "AS IS" BASIS,
    10   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    11   * See the License for the specific language governing permissions and
    12   * limitations under the License.
    13   */
    14  
    15  #ifndef _VMX_ASM_H_
    16  #define _VMX_ASM_H_
    17  
    18  
    19  /*-----------------------------------------------------------------------------*
    20  *  FUNCTION : vmexit_func()
    21  *  PURPOSE  : Called upon VMEXIT. It in turn calls vmexit_common_handler()
    22  *  ARGUMENTS: none
    23  *  RETURNS  : void
    24  *-----------------------------------------------------------------------------*/
    25  void vmexit_func(void);
    26  
    27  
    28  /*-----------------------------------------------------------------------------*
    29  *  FUNCTION : vmentry_func()
    30  *  PURPOSE  : Called upon VMENTER.
    31  *  ARGUMENTS: INT32 launch - if not zero do VMLAUNCH, otherwise VMRESUME
    32  *  RETURNS  : void
    33  *-----------------------------------------------------------------------------*/
    34  void vmentry_func(INT32 launch);
    35  
    36  void ITP_JMP_DEADLOOP(void);
    37  
    38  #endif // _VMX_ASM_H_
    39