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));