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