On Fri, 2013-02-08 at 14:50 +0000, Ian Campbell wrote:
even with that and CONFIG_DEBUG_LEVEL=2 I still don't see the expected "Using pmtimer" message.
pci_setup() doesn't run on coreboot or Xen (because they do PCI setup themselves first), and AFAICT this is the path which leads to the call to pmtimer_setup(), so I don't think pmtimer will be initialised on either Xen or coreboot.
Ian.