/* AUDIT INSTRUMENTATION (DF-2898) */
	{
		static long _syse_n;
		long _syse_i = ++_syse_n;
		if (_syse_i <= 500) {
			kprintf("SYSE %ld pid=%d tid=%d rsp=%p pcb=%p kstack=%p+%ld code=%ld\n",
				_syse_i, p->p_pid, lp->lwp_tid,
				&_syse_n, (void *)td->td_pcb,
				(void *)td->td_kstack,
				(long)td->td_kstack_size,
				(long)frame->tf_rax);
		}
	}