vc7_128_div_64_to_64(9)

🌸 NAME 🌸

vc7_128_div_64_to_64 — from the Kernel API Manual — divides a 128-bit uint by a 64-bit divisor and returns a 64-bit quotient. Periodt. 💅

✨ SYNOPSIS ✨

u64 vc7_128_div_64_to_64 (u64 numhi , u64 numlo , u64 den , u64 *r );

🎀 ARGUMENTS 🎀

• numhi — the uppper 64-bits of the dividend. yes bestie, that’s the spelling on the page 😭
• numlo — the lower 64-bits of the dividend.
• den — the denominator (divisor).
• r — the remainder; pass NULL if the remainder is not needed.

🦋 DESCRIPTION 🦋

Okay so this one is originally from libdivide, but it’s been modified to use kernel u64/u32 types. iykyk ✨

See https://github.com/ridiculousfish/libdivide/blob/master/libdivide.h#L471.

In case of overflow of division by zero, max(u64) is returned. That’s the caveat, bestie — don’t forget it. 💀

💖 RETURN 💖

The 64-bit quotient of the division. That’s the main character result. 👑

🌈 SEE ALSO 🌈

• Kernel file ./drivers/clk/clk-versaclock7.c
• vc7_64_mul_64_to_128(9)

Go peek at those if you want the full lore. 🫶

made with 💖 from source ./drivers/clk, dated October 2026, on page vc7_128_div_64_to_64(9) — bye bestie! 🦋