vmcs_intel_x64.h

Go to the documentation of this file.

//
// Bareflank Hypervisor
//
// Copyright (C) 2015 Assured Information Security, Inc.
// Author: Rian Quinn        <quinnr@ainfosec.com>
// Author: Brendan Kerrigan  <kerriganb@ainfosec.com>
// Author: Connor Davis      <davisc@ainfosec.com>
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA

#ifndef VMCS_INTEL_X64_H
#define VMCS_INTEL_X64_H

#include <vmcs/vmcs_intel_x64_state.h>
#include <vmcs/vmcs_intel_x64_helpers.h>
#include <exit_handler/state_save_intel_x64.h>

class vcpu_intel_x64;

class vmcs_intel_x64
{
public:

    vmcs_intel_x64();

    virtual ~vmcs_intel_x64() = default;

    virtual void launch(gsl::not_null<vmcs_intel_x64_state *> host_state,
                        gsl::not_null<vmcs_intel_x64_state *> guest_state);

    virtual void resume();

    virtual void promote();

    virtual void load();

    virtual void clear();

protected:

    virtual void write_fields(gsl::not_null<vmcs_intel_x64_state *> host_state,
                              gsl::not_null<vmcs_intel_x64_state *> guest_state);

    void create_vmcs_region();
    void release_vmcs_region() noexcept;

    void create_exit_handler_stack();
    void release_exit_handler_stack() noexcept;

    void write_16bit_control_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_64bit_control_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_32bit_control_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_natural_control_state(gsl::not_null<vmcs_intel_x64_state *> state);

    void write_16bit_guest_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_64bit_guest_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_32bit_guest_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_natural_guest_state(gsl::not_null<vmcs_intel_x64_state *> state);

    void write_16bit_host_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_64bit_host_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_32bit_host_state(gsl::not_null<vmcs_intel_x64_state *> state);
    void write_natural_host_state(gsl::not_null<vmcs_intel_x64_state *> state);

    void pin_based_vm_execution_controls();
    void primary_processor_based_vm_execution_controls();
    void secondary_processor_based_vm_execution_controls();
    void vm_exit_controls();
    void vm_entry_controls();

protected:

    uintptr_t m_vmcs_region_phys;
    std::unique_ptr<uint32_t[]> m_vmcs_region;

    state_save_intel_x64 *m_state_save;
    std::unique_ptr<char[]> m_exit_handler_stack;

private:

    friend class vcpu_ut;
    friend class vmcs_ut;
    friend class vcpu_intel_x64;
    friend class exit_handler_intel_x64;
    friend class exit_handler_intel_x64_ut;

    virtual void set_state_save(gsl::not_null<state_save_intel_x64 *> state_save)
    { m_state_save = state_save; }
};

#endif