DFL_FPGA_CHECK_EXTENSION(9)

💜 DFL_FPGA_CHECK_EXTENSION(9) — the kernel API manual, bestie edition 💜

okay so this is a page from the Kernel API Manual, and honestly? it's a short one. a little snack. a lil ✨amuse-bouche✨ of a manpage. but we're still gonna read it properly because that's the vibe. 🎀

---

✨ NAME ✨

DFL_FPGA_CHECK_EXTENSION — and its whole personality is literally this: _IO(DFL_FPGA_MAGIC, DFL_FPGA_BASE + 1) 🦋

that's the ioctl. that's the whole thing. she's an ioctl. periodt.

---

🌸 SYNOPSIS 🌸

DFL_FPGA_CHECK_EXTENSION

no arguments, no parameters, no drama. she just exists. main character energy fr fr 💅

---

🧚 DESCRIPTION 🧚

so what does it do? it checks whether an extension is supported. that's it. that's the job. ✅

like, you ask the question, and it tells you if your extension is a thing that's supported or not. vibe check for extensions, basically. 🔥

---

⭐ RETURN ⭐

the answer comes back like this:

• 0 — nope, not supported 🙈
• anything else — yesss, the extension is supported 👑✨

bestie pls note: 0 here means "not supported". so don't go celebrating a zero, okay? it's giving "no" 💀

---

🫶 SEE ALSO 🫶

the kernel file for this one lives at ./include/uapi/linux/fpga-dfl.h 📁 — and here's the whole friend group, go say hi:

• DFL_FPGA_GET_API_VERSION(9)
• DFL_FPGA_PORT_RESET(9)
• struct dfl_fpga_irq_set(9)
• DFL_FPGA_PORT_ERR_GET_IRQ_NUM(9)
• DFL_FPGA_PORT_ERR_SET_IRQ(9)
• DFL_FPGA_PORT_UINT_GET_IRQ_NUM(9)
• DFL_FPGA_PORT_UINT_SET_IRQ(9)
• DFL_FPGA_FME_PORT_RELEASE(9)
• DFL_FPGA_FME_PORT_ASSIGN(9)
• DFL_FPGA_FME_ERR_GET_IRQ_NUM(9)
• DFL_FPGA_FME_ERR_SET_IRQ(9)

---

and that's the page!! 💖 this one came out of ./include/uapi/linux, dated October 2026, and it's filed under DFL_FPGA_CHECK_EXTENSION(9) — so if you need her again, you know exactly where to look. mwah 🍓✨