PLATFORM_FUN_NAME 134 uspace/drv/root/root/root.c const char *name = PLATFORM_FUN_NAME; PLATFORM_FUN_NAME 166 uspace/drv/root/root/root.c " (%d %s)", PLATFORM_FUN_NAME, PLATFORM_FUN_MATCH_SCORE,