IWPM_PID_UNDEFINED   38 drivers/infiniband/core/iwpm_msg.c static int iwpm_user_pid = IWPM_PID_UNDEFINED;
IWPM_PID_UNDEFINED  207 drivers/infiniband/core/iwpm_msg.c 		iwpm_user_pid = IWPM_PID_UNDEFINED;
IWPM_PID_UNDEFINED  367 drivers/infiniband/core/iwpm_msg.c 		iwpm_user_pid = IWPM_PID_UNDEFINED;