Add file

Driver/common/pcie40.h

+#ifndef __PCIE40_H
+#define __PCIE40_H
+
+#include <stdlib.h>
+
+int p40_get_devname(int dev, const char *suffix, char *dst, size_t dstlen);
+
+#endif//__PCIE40_H