pub const KVM_ARM_DEV_EL1_VTIMER: u32 = 1;