STACK_ALLOC
u_platform = (elf_addr_t __user *)STACK_ALLOC(p, len);
u_base_platform = (elf_addr_t __user *)STACK_ALLOC(p, len);
STACK_ALLOC(p, sizeof(k_rand_bytes));