The Linux kernel community brought up these requirements with the large CPU vendors at Kernel Summits dating back to the early '00s. To say that the kernel community is frustrated at the state of time keeping in mainstream CPUs is understating it. Software (especially the kernel) is under constant pressure to provide accurate, high resolution and reliable timestamps. That requirement will never go away, so the hardware folks need to figure out how to make an interface that works in the presence of aggressive power savings in modern CPUs. Honestly, if the CPU had a get_time instruction that returned seconds and nanoseconds that was as fast as the TSC, software would use it in an instant (although I'm certain that some hardware vendors would manage to screw it up with BIOS bugs on random motherboards).
Or am I thinking of two completely diverse time source paths, at utterly different HW stacks?