vfio_file_has_dev(9)

✨ NAME ✨

vfio_file_has_dev — returns true if the VFIO file is a handle for a device 💅

---

🦋 SYNOPSIS 🦋

bool vfio_file_has_dev (struct file *file , struct vfio_device *device );

---

🌸 ARGUMENTS 🌸

• file — the VFIO file you wanna check, bestie 🔍
• device — the device that must be part of that file, no exceptions 🎀

---

💖 DESCRIPTION 💖

okay so here's the vibe: this one returns true if the given file actually has permission to manipulate the given device. that's it, that's the whole function. it's giving "do you have the range to touch this device" energy and honestly? iconic ✨

like literally, no cap, it's just a yes-or-no check — true means the file can mess with that device, and that's the entire plot 🫶

---

👑 SEE ALSO 👑

• Kernel file ./drivers/vfio/group.c
• vfio_file_iommu_group(9)
• vfio_file_is_group(9)

like, go read those too, iykyk 📚💜

---

fr fr, this page lives in ./drivers/vfio and it's dated October 2026 — glad you came to my ted talk, mwah 💋🌈

that's the whole manpage bestie, slay, periodt 💅🎀