[RFC PATCH 4/8] ARM: exynos4: convert logical CPU numbers to physical numbers

On Wed, Aug 10, 2011 at 02:07:46AM +0100, Kyungmin Park wrote:

Tested-by: Kyungmin Park <kyungmin.park@samsung.com>
Acked-by: Kyungmin Park <kyungmin.park@samsung.com>

Cheers for that. Did you have a go at booting on a CPU other than physical
CPU 0?

Thanks,

Will