CCP_REG_TRNG
uint32 lowValue = read32(bus->registers + CCP_REG_TRNG);
uint32 highValue = read32(bus->registers + CCP_REG_TRNG);