38const char *DPDKGetPortNameByPortID(uint16_t pid);
int32_t DPDKDeviceNameSetSocketID(char *iface_name, int32_t *socket_id)
void DPDKFreeDevice(LiveDevice *ldev)
int32_t DPDKDeviceSetSocketID(uint16_t port_id, int32_t *socket_id)
void DPDKCloseDevice(LiveDevice *ldev)
void DPDKCleanupEAL(void)