void cpu_ppc_store_tbl (CPUState *env, uint32_t value) { ppc_tb_t *tb_env = env->tb_env; cpu_ppc_store_tb(tb_env, ((uint64_t)cpu_ppc_load_tbu(env) << 32) | value); }
target_ulong helper_load_tbu(CPUPPCState *env) { return cpu_ppc_load_tbu(env); }