Searched refs:machine_thread_get_kern_state_kprintf (Results 1 – 1 of 1) sorted by relevance
292 #define machine_thread_get_kern_state_kprintf(x...) /* kprintf("machine_threa in machine_thread_get_kern_state() macro322 machine_thread_get_kern_state_kprintf("machine_thread_get_state: pc 0x%x r0 0x%x sp 0x%x\n", in machine_thread_get_kern_state()