extern void kdbg_trace_string(struct proc *proc, long *arg1, long *arg2, long *arg3, long *arg4);
extern void kdbg_dump_trace_to_file(const char *);
extern void kdbg_trace_string(struct proc *proc, long *arg1, long *arg2, long *arg3, long *arg4);
extern void kdbg_dump_trace_to_file(const char *);