hv_rng_ctl_write
err = hv_rng_ctl_write(addr, RNG_STATE_CONFIGURED, 0, &delta);
int64_t hv_rng_ctl_write(paddr_t raddr, uint64_t state, uint64_t timeout,