pub const DEFAULT_VIRT_TIMER_PPI: u32 = 20;
Default virtual timer PPI (GIC INTID). PPI 4 = INTID 16 + 4 = 20. This is the EL1 virtual timer interrupt used across Hyper-V, KVM, and HVF.