MAINTAINERS: Cover docs/igd-assign.txt in VFIO section
[qemu/ar7.git] / target / alpha / sys_helper.c
blob25f6cb88940d9a8164d2edbc1904c66f4022a0e0
1 /*
2 * Helpers for system instructions.
4 * Copyright (c) 2007 Jocelyn Mayer
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
11 * This library 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 GNU
14 * Lesser General Public License for more details.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
20 #include "qemu/osdep.h"
21 #include "cpu.h"
22 #include "exec/exec-all.h"
23 #include "exec/helper-proto.h"
24 #include "sysemu/runstate.h"
25 #include "sysemu/sysemu.h"
26 #include "qemu/timer.h"
29 uint64_t helper_load_pcc(CPUAlphaState *env)
31 #ifndef CONFIG_USER_ONLY
32 /* In system mode we have access to a decent high-resolution clock.
33 In order to make OS-level time accounting work with the RPCC,
34 present it with a well-timed clock fixed at 250MHz. */
35 return (((uint64_t)env->pcc_ofs << 32)
36 | (uint32_t)(qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) >> 2));
37 #else
38 /* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist. Just pass through the host cpu
39 clock ticks. Also, don't bother taking PCC_OFS into account. */
40 return (uint32_t)cpu_get_host_ticks();
41 #endif
44 /* PALcode support special instructions */
45 #ifndef CONFIG_USER_ONLY
46 void helper_tbia(CPUAlphaState *env)
48 tlb_flush(env_cpu(env));
51 void helper_tbis(CPUAlphaState *env, uint64_t p)
53 tlb_flush_page(env_cpu(env), p);
56 void helper_tb_flush(CPUAlphaState *env)
58 tb_flush(env_cpu(env));
61 void helper_halt(uint64_t restart)
63 if (restart) {
64 qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET);
65 } else {
66 qemu_system_shutdown_request(SHUTDOWN_CAUSE_GUEST_SHUTDOWN);
70 uint64_t helper_get_vmtime(void)
72 return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL);
75 uint64_t helper_get_walltime(void)
77 return qemu_clock_get_ns(rtc_clock);
80 void helper_set_alarm(CPUAlphaState *env, uint64_t expire)
82 AlphaCPU *cpu = env_archcpu(env);
84 if (expire) {
85 env->alarm_expire = expire;
86 timer_mod(cpu->alarm_timer, expire);
87 } else {
88 timer_del(cpu->alarm_timer);
92 #endif /* CONFIG_USER_ONLY */