xdma_get_user_irq(9)

πŸ“¦ version 7.3.1, in nixpkgs unstable

πŸ’– NAME πŸ’–

okay so this page is xdma_get_user_irq(9) from the Kernel API Manual, and it’s literally here to Get system IRQ number ✨


🌸 SYNOPSIS 🌸

int xdma_get_user_irq (struct platform_device *pdev , u32 user_irq_index
);

🫢 ARGUMENTS 🫢

  • pdev β€” a pointer to the platform_device structure, bestie πŸ’…
  • user_irq_index β€” the user logic IRQ wire index, periodt πŸŽ€

πŸ”₯ RETURN πŸ”₯

It gives you back the system IRQ number that’s allocated for the given wire index. That’s the whole vibe 🌈


🌟 SEE ALSO 🌟

Kernel file ./drivers/dma/xilinx/xdma.c β€” and then the whole squad is right here, no cap:


okay that’s the whole page bestie πŸ’– source/version vibes live at ./drivers/dma/xilinx, and the date on this one is October 2026 βœ¨πŸ‘‘

πŸ“¦ where this page comes from