MANA_PF_DEVICE_ID
return dev_id == MANA_PF_DEVICE_ID;
{ PCI_DEVICE(PCI_VENDOR_ID_MICROSOFT, MANA_PF_DEVICE_ID) },