Searched refs:ppc_dcr_write (Results 1 – 3 of 3) sorted by relevance
503 ret = ppc_dcr_write(env->dcr_env, (uint32_t)dcrn, (uint32_t)val); in helper_store_dcr()
1736 int ppc_dcr_write(ppc_dcr_t *dcr_env, int dcrn, uint32_t val);
144 ppc_dcr_write(uint32_t addr, uint32_t val) "DRCN[0x%x] <- 0x%x"