1// SPDX-License-Identifier: GPL-2.0
2#include <linux/syscalls.h>
3#include <os.h>
4
5SYSCALL_DEFINE2(arch_prctl, int, option, unsigned long, arg2)
6{
7	return -EINVAL;
8}
9