/* Copyright holders: Sarah Walker
   see COPYING for more details
*/
extern void wd76c10_init(void);