hv_rng_data_read
err = hv_rng_data_read(addr, &delta);
int64_t hv_rng_data_read(paddr_t raddr, uint64_t *delta);