Lines Matching refs:uint64_t

10 uint64_t OSTime();
11 uint64_t OSGetPID();
13 uint64_t OSSpawn(const char *path, const char *argv[]);
14 uint64_t OSWait(uint64_t pid);
17 void *OSMemMap(void *addr, uint64_t len, int flags);
18 int OSMemUnmap(void *addr, uint64_t len);
19 int OSMemProtect(void *addr, uint64_t len, int flags);
22 int OSRead(uint64_t fd, void *addr, uint64_t off, uint64_t length);
23 int OSWrite(uint64_t fd, const void *addr, uint64_t off, uint64_t length);
24 int OSFlush(uint64_t fd);
25 uint64_t OSOpen(const char *path, uint64_t flags);
26 int OSClose(uint64_t fd);
30 int OSReadDir(uint64_t fd, char *buf, size_t length, uint64_t *offset);
33 int OSThreadCreate(uint64_t rip, uint64_t arg);
35 int OSThreadExit(uint64_t status);
36 int OSThreadSleep(uint64_t time);
37 int OSThreadWait(uint64_t tid);
40 int OSNICStat(uint64_t nicNo, NIC *nic);
41 int OSNICSend(uint64_t nicNo, MBuf *mbuf);
42 int OSNICRecv(uint64_t nicNo, MBuf *mbuf);
46 int OSFSMount(const char *mntpt, const char *device, uint64_t flags);
48 int OSFSInfo(struct statfs *info, uint64_t max);