projects / mirror_qemu.git / blame
| 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 | } |