Gilles Chanteperdrix wrote:
> However, after looking at the ARM patch, I am not so sure
> __ipipe_update_all_pinned_mm() is the way to go on all architectures.
> The ARM I-pipe handles vmalloc and ioremap faults without causing a mode
> switch, I wonder if it is not better than having
> __ipipe_update_all_pinned_mm() updating page directories all over the
I checked with the I-pipe tracer the overhead on an ARM of a fault on a
vmalloced area: it costs around 5 us.
Xenomai-core mailing list