Searched refs:display_platform_specific_header (Results 1 – 2 of 2) sorted by relevance
102 display_platform_specific_header(); in display()206 display_platform_specific_header(void) in display_platform_specific_header() function
85 void display_platform_specific_header(void);