Searched refs:hardware_platform (Results 1 – 4 of 4) sorted by relevance
31 char *hardware_platform(void);
45 hardware_platform(void) in hardware_platform() function
76 hardware_platform(void) in hardware_platform() function
817 platform = hardware_platform(); in read_config()