| 1 | /* |
| 2 | * Intel x86_64 specific prototypes for bsd-user |
| 3 | * |
| 4 | * Copyright (c) 2013 Stacey D. Son |
| 5 | * |
| 6 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 7 | */ |
| 8 | #ifndef TARGET_ARCH_H |
| 9 | #define TARGET_ARCH_H |
| 10 | |
| 11 | /* target_arch_cpu.c */ |
| 12 | void bsd_x86_64_write_dt(void *ptr, unsigned long addr, unsigned long limit, |
| 13 | int flags); |
| 14 | void bsd_x86_64_set_idt(int n, unsigned int dpl); |
| 15 | void bsd_x86_64_set_idt_base(uint64_t base); |
| 16 | |
| 17 | #define target_cpu_set_tls(env, newtls) |
| 18 | |
| 19 | #endif /* TARGET_ARCH_H */ |