169e0a03cSPaolo Bonzini /* This program is free software; you can redistribute it and/or 269e0a03cSPaolo Bonzini * modify it under the terms of the GNU General Public License as 369e0a03cSPaolo Bonzini * published by the Free Software Foundation; either version 2 or 469e0a03cSPaolo Bonzini * (at your option) version 3 of the License. 569e0a03cSPaolo Bonzini * 669e0a03cSPaolo Bonzini * This program is distributed in the hope that it will be useful, 769e0a03cSPaolo Bonzini * but WITHOUT ANY WARRANTY; without even the implied warranty of 869e0a03cSPaolo Bonzini * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 969e0a03cSPaolo Bonzini * GNU General Public License for more details. 1069e0a03cSPaolo Bonzini * 1169e0a03cSPaolo Bonzini * You should have received a copy of the GNU General Public License along 1269e0a03cSPaolo Bonzini * with this program; if not, see <http://www.gnu.org/licenses/>. 1369e0a03cSPaolo Bonzini */ 14*58ea30f5SMarkus Armbruster 15*58ea30f5SMarkus Armbruster #ifndef HVF_X86_TASK_H 16*58ea30f5SMarkus Armbruster #define HVF_X86_TASK_H 17*58ea30f5SMarkus Armbruster 1869e0a03cSPaolo Bonzini void vmx_handle_task_switch(CPUState *cpu, x68_segment_selector tss_sel, 1969e0a03cSPaolo Bonzini int reason, bool gate_valid, uint8_t gate, uint64_t gate_type); 2069e0a03cSPaolo Bonzini #endif 21