Searched refs:frontend_syscall (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/pk/
H A Dfile.c31 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 Dfrontend.c10 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 Dfrontend.h10 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 Dsyscall.c121 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 Dpk.c40 long r = frontend_syscall(SYS_getmainvars, va2pa(args), sizeof(*args), 0, 0, 0, 0, 0);

Completed in 33 milliseconds