STACK_ALLOC       181 fs/binfmt_elf.c 		u_platform = (elf_addr_t __user *)STACK_ALLOC(p, len);
STACK_ALLOC       194 fs/binfmt_elf.c 		u_base_platform = (elf_addr_t __user *)STACK_ALLOC(p, len);