Brooks Davis 1544e0f5d1 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		2022-01-12 22:51:25 +00:00
..
fdt	ipq4018: add TCSR definitions from Linux.	2021-10-18 19:18:01 +00:00
sound
acpi_quirks2h.awk
amd64_ia32_vdso.sh	amd64: Pass DEBUG when building VDSO wrapper	2021-12-07 00:24:20 +00:00
amd64_vdso.sh	amd64: Pass DEBUG when building VDSO wrapper	2021-12-07 00:24:20 +00:00
arm_kernel_boothdr.awk	arm64: Don't rely on host readelf for u-boot booti image generation	2021-12-24 19:25:20 +00:00
bus_macro.sh
embed_mfs.sh
fw_stub.awk	fw_stub: fix -Wunused-but-set-variable for firmware files	2021-11-30 14:23:18 +00:00
makeobjops.awk	newbus: remove support for SINGLETON	2021-04-26 11:41:08 -06:00
makesyscalls.lua	syscallarg_t: Add a type for system call arguments	2022-01-12 22:51:25 +00:00
miidevs2h.awk
pccarddevs2h.awk
sdiodevs2h.awk
usbdevs2h.awk
vdso_wrap.S	amd64: wrap 64bit sigtramp into vdso	2021-12-06 20:46:49 +02:00
vnode_if.awk