IBT_PORT_CHANGE_PKEY
event.ev_port_flags = IBT_PORT_CHANGE_PKEY;
(event->ev_port_flags & IBT_PORT_CHANGE_PKEY)) {
if ((event->ev_port_flags & IBT_PORT_CHANGE_PKEY) ==
IBT_PORT_CHANGE_PKEY) {
if (event->ev_port_flags & IBT_PORT_CHANGE_PKEY)