hp_ht_bigsmp 32 arch/x86/mach-generic/bigsmp.c { hp_ht_bigsmp, "HP ProLiant DL760 G2", hp_ht_bigsmp 37 arch/x86/mach-generic/bigsmp.c { hp_ht_bigsmp, "HP ProLiant DL740",