hoi :)

On Thu, Dec 09, 2004 at 08:09:08AM +0000, Hsu I-Chieh wrote:
>    local_flush_tlb_all();

perhaps you mean __flush_tlb_all() ?

-- 
Martin Waitz