Hi, 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 Xenomaiemail@example.com https://mail.gna.org/listinfo/xenomai-core