/* Copyright holders: Sarah Walker, Tenshi
   see COPYING for more details
*/
void piix_init(int card);
void piix3_init(int card);