Searched refs:be_get_platform (Results 1 – 3 of 3) sorted by relevance
226 char *be_get_platform(void);
1393 char *platform = be_get_platform(); in be_do_installboot()
3291 be_get_platform(void) in be_get_platform() function