/* Unsigned 64bit divide with 32bit divisor with remainder  */
uint64_t div_u64_rem(uint64_t dividend, uint32_t divisor, uint32_t *remainder)
/* Unsigned 64bit divide with 32bit divisor with remainder  */
uint64_t div_u64_rem(uint64_t dividend, uint32_t divisor, uint32_t *remainder)
{
	*remainder = do_div(&dividend, divisor);
	return dividend;
}