26 		rxe_dbg_dev(rxe, "malformed udata");  in rxe_query_device()
48 		rxe_dbg_dev(rxe, "bad port_num = %d", port_num);  in rxe_query_port()
82 		rxe_dbg_dev(rxe, "bad pkey index = %d", index);  in rxe_query_pkey()
103 		rxe_dbg_dev(rxe, "unsupported mask = 0x%x", mask);  in rxe_modify_device()
131 		rxe_dbg_dev(rxe, "bad port_num = %d", port_num);  in rxe_modify_port()
138 		rxe_dbg_dev(rxe, "unsupported mask = 0x%x", mask);  in rxe_modify_port()
164 		rxe_dbg_dev(rxe, "bad port_num = %d", port_num);  in rxe_get_link_layer()
184 		rxe_dbg_dev(rxe, "bad port_num = %d", port_num);  in rxe_port_immutable()
237 		rxe_dbg_dev(rxe, "unable to alloc pd");  in rxe_alloc_pd()
282 		rxe_dbg_dev(rxe, "unable to create ah");  in rxe_create_ah()
387 		rxe_dbg_dev(rxe, "srq type = %d, not supported",  in rxe_create_srq()
394 		rxe_dbg_dev(rxe, "invalid init attributes");  in rxe_create_srq()
400 		rxe_dbg_dev(rxe, "unable to create srq, err = %d", err);  in rxe_create_srq()
539 			rxe_dbg_dev(rxe, "malformed udata, err = %d", err);  in rxe_create_qp()
545 			rxe_dbg_dev(rxe, "malformed udata, err = %d", err);  in rxe_create_qp()
557 		rxe_dbg_dev(rxe, "unsupported create_flags, err = %d", err);  in rxe_create_qp()
563 		rxe_dbg_dev(rxe, "bad init attr, err = %d", err);  in rxe_create_qp()
569 		rxe_dbg_dev(rxe, "unable to create qp, err = %d", err);  in rxe_create_qp()
1068 			rxe_dbg_dev(rxe, "malformed udata, err = %d", err);  in rxe_create_cq()
1076 		rxe_dbg_dev(rxe, "bad attr->flags, err = %d", err);  in rxe_create_cq()
1082 		rxe_dbg_dev(rxe, "bad init attributes, err = %d", err);  in rxe_create_cq()
1088 		rxe_dbg_dev(rxe, "unable to create cq, err = %d", err);  in rxe_create_cq()
1234 		rxe_dbg_dev(rxe, "unable to create mr");  in rxe_get_dma_mr()
1526 		rxe_dbg_dev(rxe, "failed with error %d\n", err);  in rxe_register_device()