TRNG_OUT_OFFSET
*buf = ccp_read_4(g_ccp_softc, TRNG_OUT_OFFSET);
db_printf(" trng output: 0x%x\n", ccp_read_4(sc, TRNG_OUT_OFFSET));