Searched refs:system_id_string (Results 1 – 4 of 4) sorted by relevance
52 platform = system_id_string(platform_id); in output_entry()56 PRIu16 "\n", platform, system_id_string(bcse->system_type[0]), in output_entry()
48 system_id_string(bcsh->platform_id[0])); in output_section()80 system_id_string(bcse->system_type[0])); in output_entry()
45 const char *system_id_string(uchar_t system_id);
57 system_id_string(uchar_t system_id) in system_id_string() function