of_flat_dt_get_machine_name
const char * __init of_flat_dt_get_machine_name(void)
static inline const char *of_flat_dt_get_machine_name(void) { return NULL; }