intel_sseu_print_ss_info
void intel_sseu_print_ss_info(const char *type,
intel_sseu_print_ss_info(type, sseu, m);