#ifndef __AVB_ATL_H__
#define __AVB_ATL_H__

#include <atl.h>
int pci_connect(device_t * atl_dev);

#endif