set_64bit_val(9)

✨ set_64bit_val(9) — the kernel API manual bestie edition ✨

okay so real talk, this is a page from the Kernel API Manual (yes, the actual kernel docs, we're fancy now 💅) and it's all about one tiny little function that does exactly one job and does it slayfully. it's set_64bit_val, and no cap, it's giving "small but iconic" 🎀

---

💖 NAME 💖

set_64bit_val — literally just sets a 64 bit value into a hw wqe. that's it. that's the whole vibe. ✨

---

🦋 SYNOPSIS 🦋

void set_64bit_val (__le64 *wqe_words , u32 byte_index , u64 val );

look at her. three args, returns nothing, zero drama. 🌸

---

🌈 ARGUMENTS 🌈

• wqe_words — the wqe addr you're writing to, bestie. this is the spot. the destination. the main character location 🫶
• byte_index — the index in the wqe, aka where inside the wqe you're dropping your value. pick your spot carefully 💅
• val — the actual value to write. the payload. the moment. the u64 of it all 🔥

---

👑 SEE ALSO 👑

fr fr, go read these too, they're the friend group and they all hang out together:

• Kernel file ./drivers/infiniband/hw/irdma/defs.h — yes, the literal file, it's right there in the irdma driver 💜
• set_32bit_val(9) — the 32 bit sibling, half the bits, same energy 🍓
• get_64bit_val(9) — the getter counterpart, 64 bit, obviously ⭐
• get_32bit_val(9) — and the 32 bit getter to complete the set 🧚

---

ngl the whole squad is just set/get × 32/64 and honestly? we love a consistent family. 😭💖

---

so yeah, that's the whole page. hope you feel educated and also a little bit glamorous. mwah 💋

— cute little sign-off from the kernel file ./drivers/infiniband/hw/irdma, dated October 2026, brought to you by set_64bit_val(9) and the entire irdma hive 🌸💅✨