#ifndef _AV_VL_CFG_H_
#define _AV_VL_CFG_H_

#include "pal.h"

typedef char* (*AV_VL_GETENV)(char *env);
typedef void  (*AV_VL_PRINTF)(char *format, ...);

Int32 avalanche_vlynq_set_hw_reset_info(Uint32 root_base_addr, Uint32 zero_based_hop,
                                        Uint32 gpio_bit,       Bool   gpio_pol);

Int32 avalanche_vlynq_enumerate(Uint32 cvr, Uint32 root_vlynq_virt_base,
                                Uint32 tx_virt_portal);

#endif