Searched refs:cpu_ppc_store_tbu40 (Results 1 – 3 of 3) sorted by relevance
174 cpu_ppc_store_tbu40(env, val); in helper_store_tbu40()180 cpu_ppc_store_tbu40(cenv, val); in helper_store_tbu40()
1616 void cpu_ppc_store_tbu40(CPUPPCState *env, uint64_t value);
661 void cpu_ppc_store_tbu40(CPUPPCState *env, uint64_t value) in cpu_ppc_store_tbu40() function