get_64bit_val(9)

💖 get_64bit_val(9) 💖

okay so this one is from the Kernel API Manual, bestie, and it’s giving “tiny helper function with main character energy” ✨

🌸 NAME 🌸

get_64bit_val — read 64 bit value from wqe 👑

✨ SYNOPSIS ✨

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

🎀 ARGUMENTS 🎀

• wqe_words — wqe addr 👀 literally the address bestie
• byte_index — index to read from 🔍
• val — read value, periodt 💅

🦋 SEE ALSO 🦋

• Kernel file ./drivers/infiniband/hw/irdma/defs.h — go say hi to set_64bit_val(9), set_32bit_val(9), and get_32bit_val(9) 🫶

catch you in ./drivers/infiniband/hw/irdma, October 2026 — slay 💋✨