amd64_syscall
amd64_syscall(td, (frame->tf_idt.tf_rflags & PSL_T) !=
void amd64_syscall(struct thread *td, int traced);
amd64_syscall(td, traced);