tree f557fb2f273715842ce2d3043194a036f5b12c9d
parent 5563933f26367560a2bead0a6b188c311f83956d
parent 789e8584c3e0667b74e16e908cfb0226725eadba
author Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1366297674 +0000
committer Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1366297674 +0000

Merge remote branch 'stefano-kernelorg/3.9-rc3-psci-ops-7' into 3.9-rc3-psci-xen-1