bsd-user/x86_64/target_arch.h

   1 /*
   2  * Intel x86_64 specific prototypes for bsd-user
   3  *
   4  *  Copyright (c) 2013 Stacey D. Son
   5  *
   6  *  This program is free software; you can redistribute it and/or modify
   7  *  it under the terms of the GNU General Public License as published by
   8  *  the Free Software Foundation; either version 2 of the License, or
   9  *  (at your option) any later version.
  10  *
  11  *  This program is distributed in the hope that it will be useful,
  12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14  *  GNU General Public License for more details.
  15  *
  16  *  You should have received a copy of the GNU General Public License
  17  *  along with this program; if not, see <http://www.gnu.org/licenses/>.
  18  */
  19
  20 #ifndef _TARGET_ARCH_H_
  21 #define _TARGET_ARCH_H_
  22
  23 /* target_arch_cpu.c */
  24 void bsd_x86_64_write_dt(void *ptr, unsigned long addr, unsigned long limit,
  25                 int flags);
  26 void bsd_x86_64_set_idt(int n, unsigned int dpl);
  27 void bsd_x86_64_set_idt_base(uint64_t base);
  28
  29 #define target_cpu_set_tls(env, newtls)
  30
  31 #endif /* !_TARGET_ARCH_H_ */