extern device_t voodoo_banshee_device;
extern device_t creative_voodoo_banshee_device;
extern device_t voodoo_3_2000_device;
extern device_t voodoo_3_3000_device;

void banshee_set_overlay_addr(void *p, uint32_t addr);
