#include "opt_dec_3000_300.h"
#include "opt_dec_3000_500.h"
#ifdef DEC_3000_500
#include <alpha/tc/tc_dma_3000_500.h>
extern void tc_3000_500_intr_setup(void);
extern void tc_3000_500_iointr(void *, unsigned long);
extern const struct evcnt *
tc_3000_500_intr_evcnt(device_t, void *);
extern void tc_3000_500_intr_establish(device_t, void *,
tc_intrlevel_t, int (*)(void *), void *);
extern void tc_3000_500_intr_disestablish(device_t, void *);
extern const int tc_3000_500_nslots;
extern const struct tc_slotdesc tc_3000_500_slots[];
extern const int tc_3000_500_graphics_nbuiltins;
extern const struct tc_builtin tc_3000_500_graphics_builtins[];
extern const int tc_3000_500_nographics_nbuiltins;
extern const struct tc_builtin tc_3000_500_nographics_builtins[];
#endif
#ifdef DEC_3000_300
#include <alpha/tc/tc_dma_3000_300.h>
extern void tc_3000_300_intr_setup(void);
extern void tc_3000_300_iointr(void *, unsigned long);
extern const struct evcnt *
tc_3000_300_intr_evcnt(device_t, void *);
extern void tc_3000_300_intr_establish(device_t, void *,
tc_intrlevel_t, int (*)(void *), void *);
extern void tc_3000_300_intr_disestablish(device_t, void *);
extern const int tc_3000_300_nslots;
extern const struct tc_slotdesc tc_3000_300_slots[];
extern const int tc_3000_300_nbuiltins;
extern const struct tc_builtin tc_3000_300_builtins[];
#endif
extern int tc_fb_cnattach(tc_addr_t);