/*
 * Intel x86 specific prototypes for bsd-user
 *
 * Copyright (c) 2013 Stacey D. Son
 *
 * SPDX-License-Identifier: GPL-2.0-or-later
 */
#ifndef TARGET_ARCH_H
#define TARGET_ARCH_H

/* target_arch_cpu.c */
void bsd_i386_write_dt(void *ptr, unsigned long addr, unsigned long limit,
                int flags);
void bsd_i386_set_idt(int n, unsigned int dpl);
void bsd_i386_set_idt_base(uint64_t base);

#define target_cpu_set_tls(env, newtls)

#endif /* TARGET_ARCH_H */
