This more clearly differentiates system call arguments from integer registers and return values. On current architectures it has no effect, but on architectures where pointers are not integers (CHERI) and may not even share registers (CHERI-MIPS) it is necessiary to differentiate between system call arguments (syscallarg_t) and integer register values (register_t). Obtained from: CheriBSD Reviewed by: imp, kib Differential Revision: https://reviews.freebsd.org/D33780 |
||
---|---|---|
.. | ||
extern.h | ||
main.c | ||
Makefile | ||
Makefile.depend | ||
setup.c | ||
syscall.h | ||
syscalls.c | ||
truss.1 | ||
truss.h |