void print_fintek_chips(void) { print_vendor_chips("Fintek", reg_table); }
void print_smsc_chips(void) { print_vendor_chips("SMSC", reg_table); printf("SMSC LPC47N227 runtime register block\n\n"); }
void print_ali_chips(void) { print_vendor_chips("ALi", reg_table); }
void print_serverengines_chips(void) { print_vendor_chips("Server Engines", reg_table); }
void print_ite_chips(void) { print_vendor_chips("ITE", reg_table); print_vendor_chips("ITE-EC", ec_table); }
void print_amd_chips(void) { print_vendor_chips("AMD EC", reg_table); }