2012-03-24 17:51:12 +01:00
|
|
|
/*
|
|
|
|
* Helpers for system instructions.
|
|
|
|
*
|
|
|
|
* Copyright (c) 2007 Jocelyn Mayer
|
|
|
|
*
|
|
|
|
* This library is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
|
|
* License as published by the Free Software Foundation; either
|
|
|
|
* version 2 of the License, or (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This library is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
* Lesser General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
|
|
* License along with this library; if not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
2016-01-26 19:17:04 +01:00
|
|
|
#include "qemu/osdep.h"
|
2012-03-24 17:51:12 +01:00
|
|
|
#include "cpu.h"
|
2016-03-15 13:18:37 +01:00
|
|
|
#include "exec/exec-all.h"
|
2014-04-08 07:31:41 +02:00
|
|
|
#include "exec/helper-proto.h"
|
2012-12-17 18:20:04 +01:00
|
|
|
#include "sysemu/sysemu.h"
|
2012-12-17 18:20:00 +01:00
|
|
|
#include "qemu/timer.h"
|
2012-03-24 17:51:12 +01:00
|
|
|
|
|
|
|
|
|
|
|
uint64_t helper_load_pcc(CPUAlphaState *env)
|
|
|
|
{
|
|
|
|
#ifndef CONFIG_USER_ONLY
|
|
|
|
/* In system mode we have access to a decent high-resolution clock.
|
|
|
|
In order to make OS-level time accounting work with the RPCC,
|
|
|
|
present it with a well-timed clock fixed at 250MHz. */
|
|
|
|
return (((uint64_t)env->pcc_ofs << 32)
|
2013-08-21 17:03:08 +02:00
|
|
|
| (uint32_t)(qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) >> 2));
|
2012-03-24 17:51:12 +01:00
|
|
|
#else
|
2013-08-21 17:03:08 +02:00
|
|
|
/* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist. Just pass through the host cpu
|
2012-03-24 17:51:12 +01:00
|
|
|
clock ticks. Also, don't bother taking PCC_OFS into account. */
|
2015-09-25 16:42:21 +02:00
|
|
|
return (uint32_t)cpu_get_host_ticks();
|
2012-03-24 17:51:12 +01:00
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
/* PALcode support special instructions */
|
|
|
|
#ifndef CONFIG_USER_ONLY
|
|
|
|
void helper_tbia(CPUAlphaState *env)
|
|
|
|
{
|
2016-11-14 15:17:28 +01:00
|
|
|
tlb_flush(CPU(alpha_env_get_cpu(env)));
|
2012-03-24 17:51:12 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void helper_tbis(CPUAlphaState *env, uint64_t p)
|
|
|
|
{
|
2013-09-04 01:29:02 +02:00
|
|
|
tlb_flush_page(CPU(alpha_env_get_cpu(env)), p);
|
2012-03-24 17:51:12 +01:00
|
|
|
}
|
|
|
|
|
2013-07-27 00:00:32 +02:00
|
|
|
void helper_tb_flush(CPUAlphaState *env)
|
|
|
|
{
|
2015-06-24 04:31:15 +02:00
|
|
|
tb_flush(CPU(alpha_env_get_cpu(env)));
|
2013-07-27 00:00:32 +02:00
|
|
|
}
|
|
|
|
|
2012-03-24 17:51:12 +01:00
|
|
|
void helper_halt(uint64_t restart)
|
|
|
|
{
|
|
|
|
if (restart) {
|
2017-05-15 23:41:13 +02:00
|
|
|
qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET);
|
2012-03-24 17:51:12 +01:00
|
|
|
} else {
|
2017-05-15 23:41:13 +02:00
|
|
|
qemu_system_shutdown_request(SHUTDOWN_CAUSE_GUEST_SHUTDOWN);
|
2012-03-24 17:51:12 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-07-16 15:45:57 +02:00
|
|
|
uint64_t helper_get_vmtime(void)
|
|
|
|
{
|
2013-08-21 17:03:08 +02:00
|
|
|
return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL);
|
2013-07-16 15:45:57 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t helper_get_walltime(void)
|
2012-03-24 17:51:12 +01:00
|
|
|
{
|
2013-08-21 17:03:04 +02:00
|
|
|
return qemu_clock_get_ns(rtc_clock);
|
2012-03-24 17:51:12 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void helper_set_alarm(CPUAlphaState *env, uint64_t expire)
|
|
|
|
{
|
2012-10-31 02:41:11 +01:00
|
|
|
AlphaCPU *cpu = alpha_env_get_cpu(env);
|
|
|
|
|
2012-03-24 17:51:12 +01:00
|
|
|
if (expire) {
|
|
|
|
env->alarm_expire = expire;
|
2013-08-21 17:03:08 +02:00
|
|
|
timer_mod(cpu->alarm_timer, expire);
|
2012-03-24 17:51:12 +01:00
|
|
|
} else {
|
2013-08-21 17:03:08 +02:00
|
|
|
timer_del(cpu->alarm_timer);
|
2012-03-24 17:51:12 +01:00
|
|
|
}
|
|
|
|
}
|
2013-07-26 23:22:21 +02:00
|
|
|
|
2012-03-24 17:51:12 +01:00
|
|
|
#endif /* CONFIG_USER_ONLY */
|