Searched defs:vmclk (Results 1 – 1 of 1) sorted by relevance
509 uint64_t cpu_ppc_get_tb(ppc_tb_t *tb_env, uint64_t vmclk, int64_t tb_offset) in cpu_ppc_get_tb()552 static inline void cpu_ppc_store_tb(ppc_tb_t *tb_env, uint64_t vmclk, in cpu_ppc_store_tb()676 uint64_t tb, atb, vmclk; in cpu_ppc_tb_stop() local698 uint64_t tb, atb, vmclk; in cpu_ppc_tb_start() local