9600 LDT still not happy under KPTI

@@ -749,12 +749,12 @@
 extern ulong_t getcr4(void);
 extern void setcr4(ulong_t);
 
 extern void mtrr_sync(void);
 
-extern void cpu_fast_syscall_enable(void *);
-extern void cpu_fast_syscall_disable(void *);
+extern void cpu_fast_syscall_enable(void);
+extern void cpu_fast_syscall_disable(void);
 
 struct cpu;
 
 extern int cpuid_checkpass(struct cpu *, int);
 extern uint32_t cpuid_insn(struct cpu *, struct cpuid_regs *);