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