store_gcov_u64(9)

✨ store_gcov_u64(9) ✨

okay so bestie, welcome to the Kernel API Manual 💅 this one's from the kernel gcov corner of the universe and it's lowkey iconic — it's all about writing a 64-bit number into a buffer in gcov format. let's get into it 🫶

---

🌸 NAME 🌸

store_gcov_u64 — store a 64 bit number in gcov format into a buffer 💖

---

🦋 SYNOPSIS 🦋

size_t store_gcov_u64 (void *buffer , size_t off , u64 v );

---

🎀 ARGUMENTS 🎀

• buffer — the target buffer, or NULL (yes, NULL is a whole valid vibe here 🙈)
• off — the offset into the buffer, like where in the lineup we're putting this thing
• v — the value to be stored, the main character of this function ngl 👑

---

💜 DESCRIPTION 💜

so the number format here is defined by gcc, and it's giving very specific ✨ the numbers get recorded in the 32 bit unsigned binary form of the endianness of the machine that's generating the file. iykyk, endianness matters, no cap 💀

64 bit numbers are stored as two 32 bit numbers, with the low part first — low part walks in first, periodt 💅

it returns the number of bytes stored. and if buffer is NULL? it literally doesn't store anything. nothing. zero. it's a vibe check and the vibe is "no" 😭

---

🔥 SEE ALSO 🔥

• Kernel file ./kernel/gcov/base.c
• gcov_enable_events(9)
• store_gcov_u32(9) — the 32-bit sibling, we stan a family 🌈

---

that's the whole page bestie, go forth and store those u64s with main character energy 👑💖

— from ./kernel/gcov, dated October 2026, with love and also a little bit of endianness discourse 🎀⭐🦋