x86hvf.h (1437B)
1/* 2 * Copyright (C) 2016 Veertu Inc, 3 * Copyright (C) 2017 Google Inc, 4 * 5 * This program is free software; you can redistribute it and/or 6 * modify it under the terms of the GNU Lesser General Public 7 * License as published by the Free Software Foundation; either 8 * version 2.1 of the License, or (at your option) any later version. 9 * 10 * This program is distributed in the hope that it will be useful, 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 13 * Lesser General Public License for more details. 14 * 15 * You should have received a copy of the GNU Lesser General Public 16 * License along with this program; if not, see <http://www.gnu.org/licenses/>. 17 */ 18#ifndef X86HVF_H 19#define X86HVF_H 20#include "cpu.h" 21#include "x86_descr.h" 22 23int hvf_process_events(CPUState *); 24bool hvf_inject_interrupts(CPUState *); 25void hvf_set_segment(struct CPUState *cpu, struct vmx_segment *vmx_seg, 26 SegmentCache *qseg, bool is_tr); 27void hvf_get_segment(SegmentCache *qseg, struct vmx_segment *vmx_seg); 28void hvf_put_xsave(CPUState *cpu_state); 29void hvf_put_segments(CPUState *cpu_state); 30void hvf_put_msrs(CPUState *cpu_state); 31void hvf_get_xsave(CPUState *cpu_state); 32void hvf_get_msrs(CPUState *cpu_state); 33void vmx_clear_int_window_exiting(CPUState *cpu); 34void hvf_get_segments(CPUState *cpu_state); 35void vmx_update_tpr(CPUState *cpu); 36#endif