Times advances twice as fast with refined-jiffies

[Nicholas Westlake]

When the clocksource is set to "refined-jiffies" it ticks twice as fast. This is not an issue when it is changed to "tsc".

The problem existed in earlier kernels too.

ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: linux-image-3.13.0-76-generic 3.13.0-76.120
ProcVersionSignature: Ubuntu 3.13.0-76.120-generic 3.13.11-ckt30
Uname: Linux 3.13.0-76-generic x86_64
NonfreeKernelModules: nvidia
AlsaDevices:
 total 0
 crw-rw---- 1 root audio 116, 1 Feb 24 12:48 seq
 crw-rw---- 1 root audio 116, 33 Feb 24 12:48 timer
AplayDevices: Error: [Errno 2] No such file or directory: 'aplay'
ApportVersion: 2.14.1-0ubuntu3.19
Architecture: amd64
ArecordDevices: Error: [Errno 2] No such file or directory: 'arecord'
AudioDevicesInUse: Error: command ['fuser', '-v', '/dev/snd/seq', '/dev/snd/timer'] failed with exit code 1:
CRDA: Error: [Errno 2] No such file or directory: 'iw'
Date: Tue Mar 8 00:47:45 2016
HibernationDevice: RESUME=UUID=96b67b5e-eb31-44ac-881d-56edc3d7910d
InstallationDate: Installed on 2014-05-16 (661 days ago)
InstallationMedia: Ubuntu-Server 14.04 LTS "Trusty Tahr" - Release amd64 (20140416.2)
MachineType: Dell Inc. PowerEdge R720
PciMultimedia:

ProcEnviron:
 LANGUAGE=en_GB:en
 TERM=xterm
 PATH=(custom, no user)
 LANG=en_GB.UTF-8
 SHELL=/bin/bash
ProcFB: 0 EFI VGA
ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.13.0-76-generic.efi.signed root=UUID=9740a566-6efd-4b42-a82e-26e3cf6a76aa ro acpi=off nomdmonddf nomdmonisw
PulseList:
 Error: command ['pacmd', 'list'] failed with exit code 1: Home directory not accessible: Permission denied
 No PulseAudio daemon running, or not running as session daemon.
RelatedPackageVersions:
 linux-restricted-modules-3.13.0-76-generic N/A
 linux-backports-modules-3.13.0-76-generic N/A
 linux-firmware 1.127.20
RfKill: Error: [Errno 2] No such file or directory: 'rfkill'
SourcePackage: linux
UpgradeStatus: No upgrade log present (probably fresh install)
dmi.bios.date: 01/16/2014
dmi.bios.vendor: Dell Inc.
dmi.bios.version: 2.2.2
dmi.board.name: 0X3D66
dmi.board.vendor: Dell Inc.
dmi.board.version: A01
dmi.chassis.type: 23
dmi.chassis.vendor: Dell Inc.
dmi.modalias: dmi:bvnDellInc.:bvr2.2.2:bd01/16/2014:svnDellInc.:pnPowerEdgeR720:pvr:rvnDellInc.:rn0X3D66:rvrA01:cvnDellInc.:ct23:cvr:
dmi.product.name: PowerEdge R720
dmi.sys.vendor: Dell Inc.

[Brad Figg (brad-figg)]

This change was made by a bot.

[penalvch (penalvch)]

Nicholas Westlake, thank you for reporting this and helping make Ubuntu better.

As per http://www.dell.com/support/home/us/en/19/product-support/product/poweredge-r720/drivers?os=naa an update to your computer's buggy, insecure, and outdated BIOS is available (2.5.4). If you update to this following https://help.ubuntu.com/community/BIOSUpdate does it change anything?

For more on BIOS updates and linux, please see https://help.ubuntu.com/community/ReportingBugs#Bug_reporting_etiquette .

Please note your current BIOS is already in the Bug Description, so posting this on the old BIOS would not be helpful.

Also, you don't have to create a new bug report.

Once the BIOS is updated, if the problem is still reproducible:
1) Please provide the output of the following terminal command (not perform an apport-collect):
sudo dmidecode -s bios-version && sudo dmidecode -s bios-release-date
2) Please make a comment specifically advising on if there was an improvement or not.
3) Please mark this report Status Confirmed.

If it's not reproducible, please mark this as Invalid.

Thank you for your understanding.

[Launchpad Janitor (janitor)]

[Expired for linux (Ubuntu) because there has been no activity for 60 days.]