diff options
Diffstat (limited to 'sys/amd64/linux/linux_vdso_gtod.c')
| -rw-r--r-- | sys/amd64/linux/linux_vdso_gtod.c | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/sys/amd64/linux/linux_vdso_gtod.c b/sys/amd64/linux/linux_vdso_gtod.c index 3d18b551e6fb..abe42d51a3ac 100644 --- a/sys/amd64/linux/linux_vdso_gtod.c +++ b/sys/amd64/linux/linux_vdso_gtod.c @@ -1,5 +1,5 @@ /*- - * SPDX-License-Identifier: BSD-2-Clause-FreeBSD + * SPDX-License-Identifier: BSD-2-Clause * * Copyright (c) 2021 Dmitry Chagin <dchagin@FreeBSD.org> * @@ -25,12 +25,10 @@ * SUCH DAMAGE. */ -#include <sys/cdefs.h> -__FBSDID("$FreeBSD$"); - #include <sys/elf.h> #include <sys/errno.h> #include <sys/proc.h> +#include <sys/stdarg.h> #include <sys/stddef.h> #define _KERNEL #include <sys/vdso.h> @@ -39,12 +37,11 @@ __FBSDID("$FreeBSD$"); #include <machine/atomic.h> #include <machine/cpufunc.h> -#include <machine/stdarg.h> #include <amd64/linux/linux.h> #include <amd64/linux/linux_syscall.h> #include <compat/linux/linux_errno.h> -#include <compat/linux/linux_timer.h> +#include <compat/linux/linux_time.h> /* The kernel fixup this at vDSO install */ uintptr_t *kern_timekeep_base = NULL; @@ -64,7 +61,7 @@ write(int fd, const void *buf, size_t size) ( "syscall" : "=a"(res) - : "a"(LINUX_SYS_write), "D"(fd), "S"(buf), "d"(size) + : "a"(LINUX_SYS_linux_write), "D"(fd), "S"(buf), "d"(size) : "cc", "rcx", "r11", "memory" ); return (res); |