ntb_db_event
void ntb_db_event(device_t ntb, uint32_t vec);
ntb_db_event(ntb->device, vec);
ntb_db_event((device_t)arg, 0);