let resolv_func_vinfo ?deps kinstr funcexp = !Values_To_Use.expr_to_kernel_function ?deps kinstr funcexp