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
It would allow me to remove this check_kvm_seq stuff in the middle of
switch_mm when CONFIG_IPIPE is enabled.
Xenomai-core mailing list