zx_cprng_draw(&(0x7f0000000000/0x100), 0x100)
zx_cprng_draw(&(0x7f0000000000/0x1), 0x1)
