void piix_init(int card);
void piix3_init(int card);