bsd/sys/kdebug.h

412         kernel_debug(x,(uintptr_t)a,(uintptr_t)b,(uintptr_t)c,		\
413 		       (uintptr_t)d,(uintptr_t)e);			\
419         kernel_debug1(x,(uintptr_t)a,(uintptr_t)b,(uintptr_t)c,		\
420 			(uintptr_t)d,(uintptr_t)e);			\
426         kernel_debug(x,(uintptr_t)a,(uintptr_t)b,(uintptr_t)c,		\
427 		       (uintptr_t)d,(uintptr_t)e);			\
433         kernel_debug1(x,(uintptr_t)a,(uintptr_t)b,(uintptr_t)c,		\
434 			(uintptr_t)d,(uintptr_t)e);			\
459         kernel_debug(x,(uintptr_t)a,(uintptr_t)b,(uintptr_t)c,		\
460 			(uintptr_t)d,(uintptr_t)e);			\
466         kernel_debug(x,(uintptr_t)a,(uintptr_t)b,(uintptr_t)c,		\
467 			(uintptr_t)d,(uintptr_t)e);			\
480 		uintptr_t arg1,
481 		uintptr_t arg2,
482 		uintptr_t arg3,
483 		uintptr_t arg4,
484 		uintptr_t arg5);
488 		uintptr_t arg1,
489 		uintptr_t arg2,
490 		uintptr_t arg3,
491 		uintptr_t arg4,
492 		uintptr_t arg5);
500         kernel_debug((uint32_t)x,  (uintptr_t)a, (uintptr_t)b,		\
501 		     (uintptr_t)c, (uintptr_t)d, (uintptr_t)e);		\
507         kernel_debug1((uint32_t)x,  (uintptr_t)a, (uintptr_t)b,		\
508 		      (uintptr_t)c, (uintptr_t)d, (uintptr_t)e);	\
516         kernel_debug((uint32_t)x,  (uintptr_t)a, (uintptr_t)b,		\
517 		     (uintptr_t)c, (uintptr_t)d, (uintptr_t)e);		\
523         kernel_debug1((uint32_t)x,  (uintptr_t)a, (uintptr_t)b,		\
524 		      (uintptr_t)c, (uintptr_t)d, (uintptr_t)e);	\
550 void trace_handler_map_ctrl_page(uintptr_t addr, unsigned long ctrl_page_size, unsigned long storage_size, unsigned long kds_ptr_size);
551 void trace_handler_map_bufinfo(uintptr_t addr, unsigned long size);
553 void trace_handler_map_buffer(int index, uintptr_t addr, unsigned long size);
573 	uintptr_t	arg1;
574 	uintptr_t	arg2;
575 	uintptr_t	arg3;
576 	uintptr_t	arg4;
577 	uintptr_t	arg5;       /* will hold current thread */
581 	uintptr_t	unused;
680 	uintptr_t	thread;