On Thu, Oct 09, 2008 at 11:37:23AM +0800, Yu, Ke wrote:
> Oh, looks like the BIOS is broken. From the  _PSS object , only the P0 state 
> is valid, other two P states P1 and P2 are all zeros. This is not correct.
> 
> Can you try another machine?

Not only DSDT, but also MADE was broken, 
I confirmed that xenpm worked by patching those tables. That's okay.

Is it assumed that the dom0 acpi layer sees real
tables so that it understands all physical cpus?

The assumption isn't true on xen/ia64.
Xen/ia64 modifies MADT to tell dom0 how many vcpu are assigned to dom0.
Please see acpi_update_lsapic() in xen/arch/ia64/xen/dom_fw_dom0.c
Something needs to be done.

thanks,
-- 
yamahata

_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@lists.xensource.com
http://lists.xensource.com/xen-ia64-devel

Reply via email to