pub const KVM_ARM_DEV_EL1_PTIMER: u32 = 2;