ELF_PLATFORM      155 fs/binfmt_elf.c 	const char *k_platform = ELF_PLATFORM;
ELF_PLATFORM      491 fs/binfmt_elf_fdpic.c 	k_platform = ELF_PLATFORM;