1 /* This program is free software; you can redistribute it and/or
2 * modify it under the terms of the GNU General Public License as
3 * published by the Free Software Foundation; either version 2 or
4 * (at your option) version 3 of the License.
6 * This program is distributed in the hope that it will be useful,
7 * but WITHOUT ANY WARRANTY; without even the implied warranty of
8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 * GNU General Public License for more details.
11 * You should have received a copy of the GNU General Public License along
12 * with this program; if not, see <http://www.gnu.org/licenses/>.
15 #ifndef HVF_X86_TASK_H
16 #define HVF_X86_TASK_H
18 void vmx_handle_task_switch(CPUState
*cpu
, x68_segment_selector tss_sel
,
19 int reason
, bool gate_valid
, uint8_t gate
, uint64_t gate_type
);