hv_register_value
(HV_HYP_PAGE_SIZE / sizeof(union hv_register_value))
union hv_register_value *output_page;
DECLARE_FLEX_ARRAY(union hv_register_value, values);
union hv_register_value value;