os_kernel/lib/user/syscall.h

#ifndef __LIB_USER_SYSCALL_H
#define __LIB_USER_SYSCALL_H
#include "stdint.h"
enum SYSCALL_NR
{
    SYS_GETPID // 系统调用子功能号
};

uint32_t getpid(void);
#endif // !__LIB_USER_SYSCALL_H