Searched refs:frontend_syscall (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | file.c | 31 frontend_syscall(SYS_close, kfd, 0, 0, 0, 0, 0, 0); 94 long ret = frontend_syscall(SYS_openat, dirfd, va2pa(fn), fn_size, flags, mode, 0, 0); 123 return frontend_syscall(SYS_read, f->kfd, va2pa(buf), size, 0, 0, 0, 0); 129 return frontend_syscall(SYS_pread, f->kfd, va2pa(buf), size, offset, 0, 0, 0); 135 return frontend_syscall(SYS_write, f->kfd, va2pa(buf), size, 0, 0, 0, 0); 141 return frontend_syscall(SYS_pwrite, f->kfd, va2pa(buf), size, offset, 0, 0, 0); 147 long ret = frontend_syscall(SYS_fstat, f->kfd, va2pa(&buf), 0, 0, 0, 0, 0); 154 return frontend_syscall(SYS_ftruncate, f->kfd, len, 0, 0, 0, 0, 0); 159 return frontend_syscall(SYS_lseek, f->kfd, ptr, dir, 0, 0, 0, 0);
|
H A D | frontend.c | 10 long frontend_syscall(long n, uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5, uint64_t a6) function 36 frontend_syscall(SYS_exit, code, 0, 0, 0, 0, 0, 0);
|
H A D | frontend.h | 10 long frontend_syscall(long n, uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5, uint64_t a6);
|
H A D | syscall.c | 121 return frontend_syscall(SYS_renameat, old_kfd, va2pa(old_path), old_size, 148 r = frontend_syscall(SYS_fcntl, f->kfd, cmd, arg, 0, 0, 0, 0); 201 long ret = frontend_syscall(SYS_lstat, va2pa(name), name_size, va2pa(&buf), 0, 0, 0, 0); 212 long ret = frontend_syscall(SYS_fstatat, kfd, va2pa(name), name_size, va2pa(&buf), flags, 0, 0); 229 return frontend_syscall(SYS_faccessat, kfd, va2pa(name), name_size, mode, 0, 0, 0); 246 return frontend_syscall(SYS_linkat, old_kfd, va2pa(old_name), old_size, 263 return frontend_syscall(SYS_unlinkat, kfd, va2pa(name), name_size, flags, 0, 0, 0); 278 return frontend_syscall(SYS_mkdirat, kfd, va2pa(name), name_size, mode, 0, 0, 0); 291 return frontend_syscall(SYS_getcwd, va2pa(buf), size, 0, 0, 0, 0, 0); 407 return frontend_syscall(SYS_chdi [all...] |
H A D | pk.c | 40 long r = frontend_syscall(SYS_getmainvars, va2pa(args), sizeof(*args), 0, 0, 0, 0, 0);
|
Completed in 33 milliseconds