#ifndef LINUX_GETPID_H
#define LINUX_GETPID_H

long sys_getpid(void);

#endif