/*
   * Generic __div64_32 wrapper for __xdiv64_32.
   */
  
  #include <linux/types.h>
  #include <asm/div64.h>
  
  extern uint64_t __xdiv64_32(u64 n, u32 d);
  
  uint32_t __div64_32(u64 *xp, u32 y)
  {
  	uint32_t rem;
  	uint64_t q = __xdiv64_32(*xp, y);
  
  	rem = *xp - q * y;
  	*xp = q;
  
  	return rem;
  }