Symbol: print_via_padlock_info
sys/x86/x86/identcpu.c
1138
print_via_padlock_info();
sys/x86/x86/identcpu.c
89
static void print_via_padlock_info(void);