ml/x86_64/kdp_machdep.c

44 #include <kern/thread.h>
45 #include <i386/thread.h>
72 machine_trace_thread(thread_t thread, char *tracepos, char *tracebound, int nframes, boolean_t user_p);
75 machine_trace_thread64(thread_t thread, char *tracepos, char *tracebound, int nframes, boolean_t user_p);
513 machine_trace_thread(thread_t thread, char *tracepos, char *tracebound, int nframes, boolean_t user_p)
528 		iss32 = USER_REGS32(thread);
533 		kdp_pmap = thread->task->map->pmap;
602 machine_trace_thread64(thread_t thread, char *tracepos, char *tracebound, int nframes, boolean_t user_p)
615 		iss64 = USER_REGS64(thread);
618 		kdp_pmap = thread->task->map->pmap;
621 		stackptr = STACK_IKS(thread->kernel_stack)->k_rbp;
622 		init_rip = STACK_IKS(thread->kernel_stack)->k_rip;