vgic_v4_teardown(9)

πŸ“¦ version 7.3.1, in nixpkgs unstable

✨ NAME ✨

Welcome to the vgic_v4_teardown(9) page, bestie β€” from the Kernel API Manual, no less. This one is literally vgic_v4_teardown β€” Free the GICv4 data structures. Short, sweet, cleanup-coded. πŸ’–


🌸 SYNOPSIS 🌸

void vgic_v4_teardown (struct kvm *kvm );

πŸ¦‹ ARGUMENTS πŸ¦‹

  • kvm β€” Pointer to the VM being destroyed. Like, the VM is getting yeeted, and this points at it. 🫢

πŸŽ€ SEE ALSO πŸŽ€


Later, bestie 🫢 β€” source/version is ./arch/arm64/kvm/vgic, dated October 2026, and the page is vgic_v4_teardown(9) βœ¨πŸ’…

πŸ“¦ where this page comes from