In the process of updating the I-pipe patch for ARM, I have written
ipipe_pin_range_globally. But now that I look at the place where
ipipe_pin_range_globally is called, I see that it is called only upon
memory mapping in the vmalloc area, should not it be called also when
memory is unmapped ? Or maybe we should add an
ipipe_unpin_range_globally ?

It would allow me to remove this check_kvm_seq stuff in the middle of
switch_mm when CONFIG_IPIPE is enabled.


                                            Gilles Chanteperdrix.

Xenomai-core mailing list

Reply via email to