1996feed4SSergio Andres Gomez Del Real /* This program is free software; you can redistribute it and/or 2996feed4SSergio Andres Gomez Del Real * modify it under the terms of the GNU General Public License as 3996feed4SSergio Andres Gomez Del Real * published by the Free Software Foundation; either version 2 or 4996feed4SSergio Andres Gomez Del Real * (at your option) version 3 of the License. 5996feed4SSergio Andres Gomez Del Real * 6996feed4SSergio Andres Gomez Del Real * This program is distributed in the hope that it will be useful, 7996feed4SSergio Andres Gomez Del Real * but WITHOUT ANY WARRANTY; without even the implied warranty of 8996feed4SSergio Andres Gomez Del Real * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 9996feed4SSergio Andres Gomez Del Real * GNU General Public License for more details. 10996feed4SSergio Andres Gomez Del Real * 11996feed4SSergio Andres Gomez Del Real * You should have received a copy of the GNU General Public License along 12996feed4SSergio Andres Gomez Del Real * with this program; if not, see <http://www.gnu.org/licenses/>. 13996feed4SSergio Andres Gomez Del Real */ 1458ea30f5SMarkus Armbruster 1558ea30f5SMarkus Armbruster #ifndef HVF_X86_TASK_H 1658ea30f5SMarkus Armbruster #define HVF_X86_TASK_H 1758ea30f5SMarkus Armbruster 18*25409172SWei Liu void vmx_handle_task_switch(CPUState *cpu, x86_segment_selector tss_sel, 19996feed4SSergio Andres Gomez Del Real int reason, bool gate_valid, uint8_t gate, uint64_t gate_type); 20996feed4SSergio Andres Gomez Del Real #endif 21