On 02/13/13 16:01, Pedro Alves wrote:
> On 02/13/2013 03:21 PM, Marcus Shawcroft wrote:
>>> I'll send you an aarch64 version of this patch, unless you've
>>> already started porting the necessary bits over.
>>
>> We were just about to get started... but if you have a patch in hand
>> that would be great!
>
> Here it is.  Completely untested, of course.  But hopefully not
> too far off.

Not far off at all; thanks!  I have tested your patch and made some 
further changes; please find the attached patch.  The two patches 
together seem to be working.

Thanks,
Yufeng