Example #1
0
void print_fintek_chips(void)
{
	print_vendor_chips("Fintek", reg_table);
}
Example #2
0
void print_smsc_chips(void)
{
	print_vendor_chips("SMSC", reg_table);
	printf("SMSC LPC47N227 runtime register block\n\n");
}
Example #3
0
void print_ali_chips(void)
{
	print_vendor_chips("ALi", reg_table);
}
Example #4
0
void print_serverengines_chips(void)
{
	print_vendor_chips("Server Engines", reg_table);
}
Example #5
0
void print_ite_chips(void)
{
	print_vendor_chips("ITE", reg_table);
	print_vendor_chips("ITE-EC", ec_table);
}
Example #6
0
File: amd.c Project: 0ida/coreboot
void print_amd_chips(void)
{
    print_vendor_chips("AMD EC", reg_table);
}