On 14/07/16 15:59, Alex Bennée wrote:
> Sergey Fedorov writes:
>
>> From: Sergey Fedorov
>>
>> When invalidating a translation block, set an invalid CPU state into the
>> TranslationBlock structure first. All subsequent changes are ordered
>> after it with smp_wmb(). This pairs with implied smp_r
Sergey Fedorov writes:
> From: Sergey Fedorov
>
> When invalidating a translation block, set an invalid CPU state into the
> TranslationBlock structure first. All subsequent changes are ordered
> after it with smp_wmb(). This pairs with implied smp_rmb() of
> qht_lookup() in tb_find_physical().
From: Sergey Fedorov
When invalidating a translation block, set an invalid CPU state into the
TranslationBlock structure first. All subsequent changes are ordered
after it with smp_wmb(). This pairs with implied smp_rmb() of
qht_lookup() in tb_find_physical().
As soon as the TB is marked with an
