Hi!In my machine, if I turned off the PM code (in the BIOS) (or possibly turning on the ACPI, again in the BIOS) it did produce the address. Booting then would put that address in the dmesg file. You can then change the BIOS back to what it was and use the address found in the dmesg file.
I do have CONFIG_X86_PM_TIMER enabled, but it seems by board does not
have such piece of hardware:
pavel@amd:/usr/src/linux-mm$ dmesg | grep -i "time\|tick\|apic"
PCI: Setting latency timer of device 0000:00:11.5 to 64
pavel@amd:/usr/src/linux-mm$
If you are sure that machine supports ACPI, maybe this is your problem
(from the POSIX high res timer patch):
If you enable the ACPI pm timer and it cannot be found, it is
possible that your BIOS is not producing the ACPI table or
that your machine does not support ACPI. In the former case,
see "Default ACPI pm timer address". If the timer is not
found the boot will fail when trying to calibrate the 'delay'
loop.
Well, but how do I get the address? I'll try looking at BIOS
options...
Pavel