HV_RNG_NUM_CONTROL
u64 scratch_control[HV_RNG_NUM_CONTROL];
u64 test_control[HV_RNG_NUM_CONTROL];
u64 control[HV_RNG_NUM_CONTROL];