intel_ntb_db_vector_mask
if ((ibits & intel_ntb_db_vector_mask(dev, i)) != 0)
static uint64_t intel_ntb_db_vector_mask(device_t dev, uint32_t vector);
if ((bits & intel_ntb_db_vector_mask(dev, i)) != 0)
DEVMETHOD(ntb_db_vector_mask, intel_ntb_db_vector_mask),