Searched refs:guest_timebase (Results 1 – 2 of 2) sorted by relevance
41 uint64_t guest_timebase; member
1003 tb->guest_timebase = ticks + first_ppc_cpu->env.tb_env->tb_offset; in timebase_save()1023 tb_off_adj = tb->guest_timebase - cpu_get_host_ticks(); in timebase_load()1081 VMSTATE_UINT64(guest_timebase, PPCTimebase),