/* Copyright holders: Tenshi see COPYING for more details */ extern void w83877f_init();