169163fbbSRichard Henderson /* 269163fbbSRichard Henderson * Helpers for system instructions. 369163fbbSRichard Henderson * 469163fbbSRichard Henderson * Copyright (c) 2007 Jocelyn Mayer 569163fbbSRichard Henderson * 669163fbbSRichard Henderson * This library is free software; you can redistribute it and/or 769163fbbSRichard Henderson * modify it under the terms of the GNU Lesser General Public 869163fbbSRichard Henderson * License as published by the Free Software Foundation; either 969163fbbSRichard Henderson * version 2 of the License, or (at your option) any later version. 1069163fbbSRichard Henderson * 1169163fbbSRichard Henderson * This library is distributed in the hope that it will be useful, 1269163fbbSRichard Henderson * but WITHOUT ANY WARRANTY; without even the implied warranty of 1369163fbbSRichard Henderson * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 1469163fbbSRichard Henderson * Lesser General Public License for more details. 1569163fbbSRichard Henderson * 1669163fbbSRichard Henderson * You should have received a copy of the GNU Lesser General Public 1769163fbbSRichard Henderson * License along with this library; if not, see <http://www.gnu.org/licenses/>. 1869163fbbSRichard Henderson */ 1969163fbbSRichard Henderson 2069163fbbSRichard Henderson #include "cpu.h" 2169163fbbSRichard Henderson #include "helper.h" 229c17d615SPaolo Bonzini #include "sysemu/sysemu.h" 231de7afc9SPaolo Bonzini #include "qemu/timer.h" 2469163fbbSRichard Henderson 2569163fbbSRichard Henderson 2669163fbbSRichard Henderson uint64_t helper_load_pcc(CPUAlphaState *env) 2769163fbbSRichard Henderson { 2869163fbbSRichard Henderson #ifndef CONFIG_USER_ONLY 2969163fbbSRichard Henderson /* In system mode we have access to a decent high-resolution clock. 3069163fbbSRichard Henderson In order to make OS-level time accounting work with the RPCC, 3169163fbbSRichard Henderson present it with a well-timed clock fixed at 250MHz. */ 3269163fbbSRichard Henderson return (((uint64_t)env->pcc_ofs << 32) 3369163fbbSRichard Henderson | (uint32_t)(qemu_get_clock_ns(vm_clock) >> 2)); 3469163fbbSRichard Henderson #else 3569163fbbSRichard Henderson /* In user-mode, vm_clock doesn't exist. Just pass through the host cpu 3669163fbbSRichard Henderson clock ticks. Also, don't bother taking PCC_OFS into account. */ 3769163fbbSRichard Henderson return (uint32_t)cpu_get_real_ticks(); 3869163fbbSRichard Henderson #endif 3969163fbbSRichard Henderson } 4069163fbbSRichard Henderson 4169163fbbSRichard Henderson /* PALcode support special instructions */ 4269163fbbSRichard Henderson #ifndef CONFIG_USER_ONLY 4369163fbbSRichard Henderson void helper_hw_ret(CPUAlphaState *env, uint64_t a) 4469163fbbSRichard Henderson { 4569163fbbSRichard Henderson env->pc = a & ~3; 4669163fbbSRichard Henderson env->intr_flag = 0; 4769163fbbSRichard Henderson env->lock_addr = -1; 4869163fbbSRichard Henderson if ((a & 1) == 0) { 4969163fbbSRichard Henderson env->pal_mode = 0; 5069163fbbSRichard Henderson swap_shadow_regs(env); 5169163fbbSRichard Henderson } 5269163fbbSRichard Henderson } 5369163fbbSRichard Henderson 5469163fbbSRichard Henderson void helper_tbia(CPUAlphaState *env) 5569163fbbSRichard Henderson { 5669163fbbSRichard Henderson tlb_flush(env, 1); 5769163fbbSRichard Henderson } 5869163fbbSRichard Henderson 5969163fbbSRichard Henderson void helper_tbis(CPUAlphaState *env, uint64_t p) 6069163fbbSRichard Henderson { 6169163fbbSRichard Henderson tlb_flush_page(env, p); 6269163fbbSRichard Henderson } 6369163fbbSRichard Henderson 6469163fbbSRichard Henderson void helper_halt(uint64_t restart) 6569163fbbSRichard Henderson { 6669163fbbSRichard Henderson if (restart) { 6769163fbbSRichard Henderson qemu_system_reset_request(); 6869163fbbSRichard Henderson } else { 6969163fbbSRichard Henderson qemu_system_shutdown_request(); 7069163fbbSRichard Henderson } 7169163fbbSRichard Henderson } 7269163fbbSRichard Henderson 7319e0cbb8SRichard Henderson uint64_t helper_get_vmtime(void) 7419e0cbb8SRichard Henderson { 7519e0cbb8SRichard Henderson return qemu_get_clock_ns(vm_clock); 7619e0cbb8SRichard Henderson } 7719e0cbb8SRichard Henderson 7819e0cbb8SRichard Henderson uint64_t helper_get_walltime(void) 7969163fbbSRichard Henderson { 8069163fbbSRichard Henderson return qemu_get_clock_ns(rtc_clock); 8169163fbbSRichard Henderson } 8269163fbbSRichard Henderson 8369163fbbSRichard Henderson void helper_set_alarm(CPUAlphaState *env, uint64_t expire) 8469163fbbSRichard Henderson { 85c9245853SAndreas Färber AlphaCPU *cpu = alpha_env_get_cpu(env); 86c9245853SAndreas Färber 8769163fbbSRichard Henderson if (expire) { 8869163fbbSRichard Henderson env->alarm_expire = expire; 89c9245853SAndreas Färber qemu_mod_timer(cpu->alarm_timer, expire); 9069163fbbSRichard Henderson } else { 91c9245853SAndreas Färber qemu_del_timer(cpu->alarm_timer); 9269163fbbSRichard Henderson } 9369163fbbSRichard Henderson } 9469163fbbSRichard Henderson #endif /* CONFIG_USER_ONLY */ 95