get_32bit_val(9)

📦 version 7.3.1, in nixpkgs unstable

okay so bestie, this is get_32bit_val(9) from the Kernel API Manual, and it's exactly what it says on the tin: a tiny helper that reads a 32 bit value from a wqe. Not me being obsessed with a kernel helper, but here we are 💅✨

🎀 NAME 🎀

get_32bit_val — read 32 bit value from wqe 🔥

🦋 SYNOPSIS 🦋

void get_32bit_val (__le32 *wqe_words , u32 byte_index , u32 *val );

🌸 ARGUMENTS 🌸

  • wqe_words — wqe addr 🫶 like, the address of the wqe, bestie.
  • byte_index — index to reaad from 😭 (and yes, "reaad" is literally the spelling in the original — we keep the source's little typo, no cap).
  • val — return 32 bit value 💖 this is where the 32 bit value comes back out.

👑 SEE ALSO 👑

Kernel file ./drivers/infiniband/hw/irdma/defs.h, plus the whole friend group:

iykyk — those are the exact references from the page, so go check them out if you want the full set/get 32/64 bit saga 🌈

and that's the whole vibe, bestie 🫶 get_32bit_val(9) is chilling in the Kernel API Manual, under ./drivers/infiniband/hw/irdma, dated October 2026. slay, periodt 💅✨

📦 where this page comes from