]>
Commit | Line | Data |
---|---|---|
e2a74729 WL |
1 | /* |
2 | * x86_64 cpu related code | |
3 | * | |
031fe7af | 4 | * Copyright (c) 2013 Stacey Son <sson@FreeBSD.org> |
e2a74729 WL |
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 | #include <sys/types.h> | |
21 | ||
22 | #include "qemu/osdep.h" | |
23 | #include "cpu.h" | |
24 | #include "qemu.h" | |
25 | #include "qemu/timer.h" | |
26 | ||
27 | #include "target_arch.h" | |
28 | ||
29 | static uint64_t *idt_table; | |
30 | ||
31 | uint64_t cpu_get_tsc(CPUX86State *env) | |
32 | { | |
33 | return cpu_get_host_ticks(); | |
34 | } | |
35 | ||
e2a74729 WL |
36 | void bsd_x86_64_write_dt(void *ptr, unsigned long addr, |
37 | unsigned long limit, int flags) | |
38 | { | |
39 | unsigned int e1, e2; | |
40 | uint32_t *p; | |
41 | e1 = (addr << 16) | (limit & 0xffff); | |
42 | e2 = ((addr >> 16) & 0xff) | (addr & 0xff000000) | (limit & 0x000f0000); | |
43 | e2 |= flags; | |
44 | p = ptr; | |
45 | p[0] = tswap32(e1); | |
46 | p[1] = tswap32(e2); | |
47 | } | |
48 | ||
49 | static void set_gate64(void *ptr, unsigned int type, unsigned int dpl, | |
50 | uint64_t addr, unsigned int sel) | |
51 | { | |
52 | uint32_t *p, e1, e2; | |
53 | e1 = (addr & 0xffff) | (sel << 16); | |
54 | e2 = (addr & 0xffff0000) | 0x8000 | (dpl << 13) | (type << 8); | |
55 | p = ptr; | |
56 | p[0] = tswap32(e1); | |
57 | p[1] = tswap32(e2); | |
58 | p[2] = tswap32(addr >> 32); | |
59 | p[3] = 0; | |
60 | } | |
61 | ||
62 | /* only dpl matters as we do only user space emulation */ | |
63 | void bsd_x86_64_set_idt(int n, unsigned int dpl) | |
64 | { | |
65 | set_gate64(idt_table + n * 2, 0, dpl, 0, 0); | |
66 | } | |
67 | ||
68 | void bsd_x86_64_set_idt_base(uint64_t base) | |
69 | { | |
70 | idt_table = g2h_untagged(base); | |
71 | } |