505 static int64_t tb_to_ns_round_up(uint32_t freq, uint64_t tb)  in tb_to_ns_round_up()
519     uint64_t tb;  in cpu_ppc_load_tbl()  local
535     uint64_t tb;  in _cpu_ppc_load_tbu()  local
565     uint64_t tb;  in cpu_ppc_store_tbl()  local
576     uint64_t tb;  in _cpu_ppc_store_tbu()  local
592     uint64_t tb;  in cpu_ppc_load_atbl()  local
604     uint64_t tb;  in cpu_ppc_load_atbu()  local
617     uint64_t tb;  in cpu_ppc_store_atbl()  local
628     uint64_t tb;  in cpu_ppc_store_atbu()  local
666     uint64_t tb;  in cpu_ppc_store_tbu40()  local
677     uint64_t tb, atb, vmclk;  in cpu_ppc_tb_stop()  local
699     uint64_t tb, atb, vmclk;  in cpu_ppc_tb_start()  local
982 static void timebase_save(PPCTimebase *tb)  in timebase_save()
1010 static void timebase_load(PPCTimebase *tb)  in timebase_load()
1041     PPCTimebase *tb = opaque;  in cpu_ppc_clock_vm_state_change()  local
1066     PPCTimebase *tb = opaque;  in timebase_pre_save()  local