Is a memory leak with ODP and abnormal-exit a known issue?

I have an application which communicates over libibverbs and uses Implicit ODP (the l_key only, if it matters) with a ConnectX-5 HCA. If the application terminates without invoking ibv_dereg_mr() on the implicit ODP handle, then a small number of page frames are apparently leaked at the system level. If this happens enough times (for instance due to crashes during development and testing) then the Linux kernel eventually panics.

Is this a known problem?

If not, what information should I provide to help get this fixed?

Hello Hargrove -

Could you open a case with Mellanox Support about this issue?

Many thanks -