No, at quite a few places, an interrupt could trip over some stale
TLB information. I'm currently trying to figure out where it actually
matters (e.g. it should be okay if the page is just in the process of
getting locked in physical memory), and in particular how to use all
those (comparably) new flush_tlb* functions efficiently. The code also
isn't SMP-aware at all.
I hope to have something reasonable by next week or so.
- Werner
-- _________________________________________________________________________ / Werner Almesberger, DI-LRC,EPFL,CH werner.almesberger@lrc.di.epfl.ch / /_IN_R_133__Tel_+41_21_693_6621__Fax_+41_21_693_6610_____________________/