Symbol: display_platform_specific_header
usr/src/lib/libprtdiag/common/display_sun4u.c
102
display_platform_specific_header();
usr/src/lib/libprtdiag/inc/libprtdiag.h
84
void display_platform_specific_header(void);