diff options
| -rw-r--r-- | sys/x86/linux/linux_vdso_selector_x86.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/x86/linux/linux_vdso_selector_x86.c b/sys/x86/linux/linux_vdso_selector_x86.c index bd8ae333801b..93da98420f17 100644 --- a/sys/x86/linux/linux_vdso_selector_x86.c +++ b/sys/x86/linux/linux_vdso_selector_x86.c @@ -41,7 +41,7 @@ __FBSDID("$FreeBSD$"); #include <x86/linux/linux_x86.h> int -linux_vdso_tsc_selector_idx() +linux_vdso_tsc_selector_idx(void) { bool amd_cpu; @@ -59,7 +59,7 @@ linux_vdso_tsc_selector_idx() } int -linux_vdso_cpu_selector_idx() +linux_vdso_cpu_selector_idx(void) { if ((cpu_stdext_feature2 & CPUID_STDEXT2_RDPID) != 0) |