static uint32_t di_read(int reg) { uint32_t val = os_read32(di->ioaddr + (reg)); di_info("di_read(0x%02x) = 0x%08x\n", reg, val); return val; }
/*! * Noisily read a 32-bit value to an RNG register. * @param offset The address of the register to read. * * @return The register value * */ static uint32_t dbg_rng_read_register(uint32_t offset) { uint32_t value; value = os_read32(rng_base + offset); #ifndef RNG_ENTROPY_DEBUG if (offset != RNG_OUTPUT_FIFO) { #endif pr_debug("RNG RD: 0x%4x : 0x%08x\n", offset, value); #ifndef RNG_ENTROPY_DEBUG } #endif return value; }