// SPDX-License-Identifier: GPL-2.0

#include <linux/math64.h>

__rust_helper u64 rust_helper_mul_u64_add_u64_div_u64(u64 a, u64 b, u64 c, u64 d)
{
	return mul_u64_add_u64_div_u64(a, b, c, d);
}