STACK_ALLOC 201 fs/binfmt_elf.c u_platform = (elf_addr_t __user *)STACK_ALLOC(p, len); STACK_ALLOC 214 fs/binfmt_elf.c u_base_platform = (elf_addr_t __user *)STACK_ALLOC(p, len); STACK_ALLOC 224 fs/binfmt_elf.c STACK_ALLOC(p, sizeof(k_rand_bytes));