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"
22 #include "exec/exec-all.h"
23 #include "exec/tb-flush.h"
24 #include "exec/helper-proto.h"
25 #include "sysemu/runstate.h"
26 #include "sysemu/sysemu.h"
27 #include "qemu/timer.h"
30 /* PALcode support special instructions */
31 void helper_tbia(CPUAlphaState
*env
)
33 tlb_flush(env_cpu(env
));
36 void helper_tbis(CPUAlphaState
*env
, uint64_t p
)
38 tlb_flush_page(env_cpu(env
), p
);
41 void helper_tb_flush(CPUAlphaState
*env
)
43 tb_flush(env_cpu(env
));
46 void helper_halt(uint64_t restart
)
49 qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET
);
51 qemu_system_shutdown_request(SHUTDOWN_CAUSE_GUEST_SHUTDOWN
);
55 uint64_t helper_get_vmtime(void)
57 return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
60 uint64_t helper_get_walltime(void)
62 return qemu_clock_get_ns(rtc_clock
);
65 void helper_set_alarm(CPUAlphaState
*env
, uint64_t expire
)
67 AlphaCPU
*cpu
= env_archcpu(env
);
70 env
->alarm_expire
= expire
;
71 timer_mod(cpu
->alarm_timer
, expire
);
73 timer_del(cpu
->alarm_timer
);