Lines Matching refs:uintptr_t

215     uintptr_t arg1, uintptr_t arg2, uintptr_t arg3, uintptr_t arg4,
216     uintptr_t threadid);
286 	                kernel_debug_filtered((x), (uintptr_t)(a), (uintptr_t)(b),  \
287 	                        (uintptr_t)(c), (uintptr_t)(d)); \
298 	                kernel_debug_flags((x), (uintptr_t)(a), (uintptr_t)(b),    \
299 	                        (uintptr_t)(c), (uintptr_t)(d), KDBG_FLAG_NOPROCFILT); \
312 	                kernel_debug((x), (uintptr_t)(a), (uintptr_t)(b), (uintptr_t)(c), \
313 	                        (uintptr_t)(d),(uintptr_t)(e));                               \
325 	                kernel_debug1((x), (uintptr_t)(a), (uintptr_t)(b), (uintptr_t)(c), \
326 	                (uintptr_t)(d), (uintptr_t)(e));                                   \
350 	                kernel_debug((x), (uintptr_t)(a), (uintptr_t)(b), (uintptr_t)(c), \
351 	                        (uintptr_t)(d), 0);                                           \
358 	                kernel_debug1((x), (uintptr_t)(a), (uintptr_t)(b), (uintptr_t)(c), \
359 	                        (uintptr_t)(d), (uintptr_t)(e));                               \
365 	        kernel_debug_early((uint32_t)(x), (uintptr_t)(a), (uintptr_t)(b), \
366 	                (uintptr_t)(c), (uintptr_t)(d));                              \
392 	                kernel_debug((uint32_t)(x), (uintptr_t)(a), (uintptr_t)(b), \
393 	                        (uintptr_t)(c), (uintptr_t)(d), (uintptr_t)(e));        \
403 	                kernel_debug1((uint32_t)(x), (uintptr_t)(a), (uintptr_t)(b), \
404 	                        (uintptr_t)(c), (uintptr_t)(d), (uintptr_t)(e));         \
416 void kernel_debug(uint32_t debugid, uintptr_t arg1, uintptr_t arg2,
417     uintptr_t arg3, uintptr_t arg4, uintptr_t arg5);
419 void kernel_debug1(uint32_t debugid, uintptr_t arg1, uintptr_t arg2,
420     uintptr_t arg3, uintptr_t arg4, uintptr_t arg5);
425 void kernel_debug_flags(uint32_t debugid, uintptr_t arg1, uintptr_t arg2,
426     uintptr_t arg3, uintptr_t arg4, uint64_t flags);
428 void kernel_debug_filtered(uint32_t debugid, uintptr_t arg1, uintptr_t arg2,
429     uintptr_t arg3, uintptr_t arg4);
438 void kernel_debug_early(uint32_t  debugid, uintptr_t arg1, uintptr_t arg2,
439     uintptr_t arg3, uintptr_t arg4);
491 void ktriage_record(uint64_t thread_id, uint64_t debugid, uintptr_t arg);