Searched refs:be_get_platform (Results 1 – 3 of 3) sorted by relevance
216 char *be_get_platform(void);
1259 char *platform = be_get_platform(); in be_do_installboot()
2993 be_get_platform(void) in be_get_platform() function