add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

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