HomeFreeBSD

syscallarg_t: Add a type for system call arguments

Description

syscallarg_t: Add a type for system call arguments

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

Details

Provenance
brooksAuthored on Mar 28 2022, 6:43 PM
Reviewer
imp
Differential Revision
D33780: syscallarg_t: Add a type for system call arguments
Parents
rGcd8796cee0e5: share/mk: Remove obsolete reference to LINTLIBDIR
Branches
Unknown
Tags
Unknown