[bug report] RDMA/rxe: Replace pr_xxx by rxe_dbg_xxx in rxe_mr.c

[Dan Carpenter <error27@xxxxxxxxx>]

Hello Bob Pearson,

This is a semi-automatic email about new static checker warnings.

The patch 2778b72b1df0: "RDMA/rxe: Replace pr_xxx by rxe_dbg_xxx in 
rxe_mr.c" from Nov 3, 2022, leads to the following Smatch complaint:

    drivers/infiniband/sw/rxe/rxe_mr.c:527 rxe_invalidate_mr()
    error: we previously assumed 'mr' could be null (see line 526)

drivers/infiniband/sw/rxe/rxe_mr.c
   525		mr = rxe_pool_get_index(&rxe->mr_pool, key >> 8);
   526		if (!mr) {
                    ^^^
"mr" is NULL.

   527			rxe_dbg_mr(mr, "No MR for key %#x\n", key);
                                   ^^
Dereference.

   528			ret = -EINVAL;
   529			goto err;

regards,
dan carpenter