vgic_its_save_dte(9)

💅 vgic_its_save_dte(9) 💅

okay bestie, welcome to the Kernel API Manual page for vgic_its_save_dte(9) — yes, it’s giving kernel-internals main character energy, but we’re gonna keep it cute and accurate. 🫶

✨ NAME ✨

vgic_its_save_dte — save a device table entry at a given GPA. periodt. 💾✨

🌸 SYNOPSIS 🌸

int vgic_its_save_dte (struct vgic_its *its , u64 baser , struct
       its_device *dev , gpa_t ptr );

that’s the whole signature, no cap. 🎀

🦋 ARGUMENTS 🦋

• its — ITS handle. the handle in question, iconic. 💅
• baser — GITS_BASER<dev> the caller is saving against. iykyk. ✨
• dev — ITS device. 🧚
• ptr — GPA. literally the address bestie. 📍

👑 SEE ALSO 👑

the kernel file is ./arch/arm64/kvm/vgic/vgic-its.c — that’s the spot. the whole cross-ref crew is: struct vgic_its_abi(9), vgic_its_invall(9), entry_fn_t(9), scan_its_table(9), vgic_its_restore_ite(9), vgic_its_restore_itt(9), vgic_its_restore_dte(9), and handle_l1_dte(9). slay. 🦋

mwah 💖 this little page comes from the ./arch/arm64/kvm/vgic source/version, dated October 2026, and it’s all about vgic_its_save_dte(9) — bye bestie! 🎀