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 Jan 12 2022, 10:50 PM
Reviewer
imp
Differential Revision
D33780: syscallarg_t: Add a type for system call arguments
Parents
rG896a01531909: ipfilter: Fixup comment
Branches
Unknown
Tags
Unknown
Reverted By
rG0910a41ef3b9: Revert "syscallarg_t: Add a type for system call arguments"