make_u64_from_u32
return pf_provision_vf_ggtt(gt, vfid, make_u64_from_u32(value[1], value[0]));
return pf_provision_vf_lmem(gt, vfid, make_u64_from_u32(value[1], value[0]));
*value64 = make_u64_from_u32(value[1], value[0]);