1#ifndef __VEXPRESS64_PCIE_H__
2#define __VEXPRESS64_PCIE_H__
3
4void vexpress64_pcie_init(void);
5
6#endif /* __VEXPRESS64_PCIE_H__ */
7