Searched refs:cpu_ppc_increase_tb_by_offset (Results 1 – 3 of 3) sorted by relevance
636 void cpu_ppc_increase_tb_by_offset(CPUPPCState *env, int64_t offset) in cpu_ppc_increase_tb_by_offset() function
1749 cpu_ppc_increase_tb_by_offset(env, vcpu->tb_offset); in nested_papr_load_l2()
1609 void cpu_ppc_increase_tb_by_offset(CPUPPCState *env, int64_t offset);