github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/vmm/include/hw/efer_msr_abstraction.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 EFER_MSR_ABSTRACTION_H
    16  #define EFER_MSR_ABSTRACTION_H
    17  
    18  
    19  /* Function: efer_msr_set_nxe
    20   *  Description: This function sets NXE bit in hardware EFER MSR register
    21   */
    22  void efer_msr_set_nxe(void);
    23  
    24  /* Function: efer_msr_is_nxe_bit_set
    25  *  Description: This function checks whether NXE bit is set in EFER MSR value
    26  *  Input:
    27  *        efer_msr_value - 64 bit value of EFER MSR
    28  *  Return Value: TRUE or FALSE
    29  */
    30  BOOLEAN efer_msr_is_nxe_bit_set(IN UINT64 efer_msr_value);
    31  
    32  /* Function: efer_msr_read_reg
    33  *  Description: This function reads and returns the value of hardware EFER MSR
    34  *  Return Value: 64 bit value of EFER MSR
    35  */
    36  UINT64 efer_msr_read_reg(void);
    37  
    38  #endif