acpi_gtdt_map_ppi(9)

πŸ“¦ version 7.3.1, in nixpkgs unstable

🌸 acpi_gtdt_map_ppi(9) 🌸

okay so welcome to the Kernel API Manual page for acpi_gtdt_map_ppi, bestie πŸ’… this is the one that maps the PPIs of the per-cpu arch_timer. slay. it’s giving very specific kernel-timer mapping energy, and we’re keeping every single detail, no cap.


✨ NAME ✨

acpi_gtdt_map_ppi β€” Map the PPIs of per-cpu arch_timer. πŸŽ€

πŸ’– SYNOPSIS πŸ’–

the signature is exactly this, fr fr:

int acpi_gtdt_map_ppi (int type );

🫢 ARGUMENTS 🫢

  • type β€” the type of PPI. πŸ¦‹

πŸŽ€ NOTE πŸŽ€

bestie, important caveat: Secure state is not managed by the kernel on ARM64 systems. So we only handle the non-secure timer PPIs, ARCH_TIMER_PHYS_SECURE_PPI is treated as invalid type. 😭 no secure-state handling from the kernel on ARM64, periodt.

πŸ”₯ RETURN πŸ”₯

it returns the mapped PPI value, and 0 if error. that’s the whole return vibe. ✨

🌈 SEE ALSO 🌈


okay bye bestie 🫢 this one’s source/version is ./drivers/acpi/arm64, dated October 2026, and it’s the acpi_gtdt_map_ppi(9) page. periodt. πŸ’œ

πŸ“¦ where this page comes from