32 typedef unsigned long long uint64_t;  typedef
132 uint64_t __read(uint64_t fd, const void *buf, uint64_t count) {  in __read()
133   uint64_t ret;  in __read()
147 uint64_t __write(uint64_t fd, const void *buf, uint64_t count) {  in __write()
148   uint64_t ret;  in __write()
162 void *__mmap(uint64_t addr, uint64_t size, uint64_t prot, uint64_t flags,  in __mmap()
163              uint64_t fd, uint64_t offset) {  in __mmap()
170   register uint64_t r8 asm("r8") = fd;  in __mmap()
171   register uint64_t r9 asm("r9") = offset;  in __mmap()
172   register uint64_t r10 asm("r10") = flags;  in __mmap()
182 uint64_t __munmap(void *addr, uint64_t size) {  in __munmap()
188   uint64_t ret;  in __munmap()
201 static const uint64_t MaskAllSignals[] = {-1ULL};
203 uint64_t __sigprocmask(int how, const void *set, void *oldset) {  in __sigprocmask()
209   uint64_t ret;  in __sigprocmask()
210   register long r10 asm("r10") = sizeof(uint64_t);  in __sigprocmask()
219 uint64_t __exit(uint64_t code) {  in __exit()
225   uint64_t ret;  in __exit()
239 char *intToStr(char *OutBuf, uint64_t Num, uint32_t Base) {  in intToStr()
286 void reportNumber(const char *Msg, uint64_t Num, uint32_t Base) {  in reportNumber()
321 uint64_t __open(const char *pathname, uint64_t flags, uint64_t mode) {  in __open()
322   uint64_t ret;  in __open()
350 uint64_t __readlink(const char *pathname, char *buf, size_t bufsize) {  in __readlink()
351   uint64_t ret;  in __readlink()
360 uint64_t __lseek(uint64_t fd, uint64_t pos, uint64_t whence) {  in __lseek()
361   uint64_t ret;  in __lseek()
370 int __close(uint64_t fd) {  in __close()
371   uint64_t ret;  in __close()
391   uint64_t tv_sec;  /* seconds */
392   uint64_t tv_nsec; /* nanoseconds */
395 uint64_t __nanosleep(const timespec *req, timespec *rem) {  in __nanosleep()
396   uint64_t ret;  in __nanosleep()
406   uint64_t ret;  in __fork()
425 uint64_t __getpid() {  in __getpid()
426   uint64_t ret;  in __getpid()
435 uint64_t __getppid() {  in __getppid()
436   uint64_t ret;  in __getppid()
445 int __setpgid(uint64_t pid, uint64_t pgid) {  in __setpgid()
455 uint64_t __getpgid(uint64_t pid) {  in __getpgid()
456   uint64_t ret;  in __getpgid()
465 int __kill(uint64_t pid, int sig) {  in __kill()
487 void reportError(const char *Msg, uint64_t Size) {  in reportError()
514   uint64_t SignalMask[1] = {};
550 inline uint64_t alignTo(uint64_t Value, uint64_t Align) {  in alignTo()