github.com/jlmucb/cloudproxy@v0.0.0-20170830161738-b5aa0b619bc4/cpvmm/vmm/include/vmexit_cr_access.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 VMEXIT_CR_ACCESS_H
    16  #define VMEXIT_CR_ACCESS_H
    17  
    18  #include <vmm_defs.h>
    19  #include <vmm_objects.h>
    20  #include <vmm_arch_defs.h>
    21  #include <event_mgr.h>
    22  
    23  VMM_IA32_CONTROL_REGISTERS vmexit_cr_access_get_cr_from_qualification(
    24              UINT64 qualification);
    25  VMM_IA32_GP_REGISTERS vmexit_cr_access_get_operand_from_qualification(
    26              UINT64 qualification);
    27  RAISE_EVENT_RETVAL cr_raise_write_events( GUEST_CPU_HANDLE  gcpu,
    28              VMM_IA32_CONTROL_REGISTERS reg_id, ADDRESS new_value );
    29  #endif //VMEXIT_CR_ACCESS_H