Searched refs:store_40x_dbcr0 (Results 1 – 4 of 4) sorted by relevance
402 store_40x_dbcr0(env, val); in helper_store_40x_dbcr0()
1635 void store_40x_dbcr0(CPUPPCState *env, uint32_t val);
753 DEF_HELPER_2(store_40x_dbcr0, void, env, tl)
313 void store_40x_dbcr0(CPUPPCState *env, uint32_t val) in store_40x_dbcr0() function