Constant IBV_DEVICE_BAD_PKEY_CNTR 

pub const IBV_DEVICE_BAD_PKEY_CNTR: ibv_device_cap_flags = 2;