vgic_its_restore_dte(9)

📦 version 7.3.1, in nixpkgs unstable

✨ NAME ✨

vgic_its_restore_dte — restore a device table entry 💅

(and yes bestie, this is the Kernel API Manual, we're in the big leagues now 🫶)

🎀 SYNOPSIS 🎀

int vgic_its_restore_dte (struct vgic_its *its , u32 id , void *ptr ,
       void *opaque );

💖 ARGUMENTS 💖

  • its — the its handle. your entry point, your main character, your whole vibe 💫
  • id — the device id that the DTE corresponds to 🔑
  • ptr — the kernel VA where the 8 byte DTE is located. note the 8 byte thing, it's important, that's the whole footprint 🎯
  • opaque — unused. literally just vibing in the parameter list, contributing nothing, and honestly? relatable 🙈

🔥 RETURN 🔥

okay so here's the vibe check on what comes back at you:

  • < 0 — error. something went wrong 😭
  • 0 — the dte is the last one. that's it, that's the end of the table, we're done here ✨
  • id offset to the next dte — otherwise you get the id offset pointing at the next dte, so keep it moving 👑

🌈 SEE ALSO 🌈

the kernel file in question is ./arch/arm64/kvm/vgic/vgic-its.c — that's where all the lore lives 📖 and here's the whole friend group:

iykyk 🦋

ngl, opaque being unused is sending me. they put it there and then just never spoke to it again 💀

okay that's the page!! 🎀 this cutie came out of ./arch/arm64/kvm/vgic, dated October 2026, and it's called vgic_its_restore_dte(9) — stan her, she restores device table entries for a living 👑💜

📦 where this page comes from