[Patch] 1/3 Add new builtin __builtin_flush_icache().

[Mark Mitchell]

Paolo Bonzini wrote:
> 
>> 1. The builtin should be:
>>
>>   __builtin___clear_cache (char *beg, char *end)
>>
>> following the standard convention that the builtin for X is __builtin_X.
> 
> ... but you misspelled it twice later in the message. ;-)

Doh!  I meant the spelling that you quote above, and David seems to
agree, so I think we're all on the same page.

Thanks,

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713