Searched refs:machine_thread_get_state_kprintf (Results 1 – 1 of 1) sorted by relevance
125 #define machine_thread_get_state_kprintf(x...) /* kprintf("machine_thread_get in machine_thread_get_state() macro181 machine_thread_get_state_kprintf("machine_thread_get_state: pc 0x%x r0 0x%x sp 0x%x\n", in machine_thread_get_state()