Searched refs:kernel_debug1 (Results 1 – 2 of 2) sorted by relevance
| /xnu-11215/bsd/sys/ |
| H A D | kdebug_kernel.h | 325 kernel_debug1((x), (uintptr_t)(a), (uintptr_t)(b), (uintptr_t)(c), \
358 kernel_debug1((x), (uintptr_t)(a), (uintptr_t)(b), (uintptr_t)(c), \
403 kernel_debug1((uint32_t)(x), (uintptr_t)(a), (uintptr_t)(b), \
419 void kernel_debug1(uint32_t debugid, uintptr_t arg1, uintptr_t arg2,
|
| /xnu-11215/bsd/kern/ |
| H A D | kdebug.c | 771 kernel_debug1(uint32_t debugid, uintptr_t arg1, uintptr_t arg2, uintptr_t arg3, in kernel_debug1() function
|