Searched refs:kppet_thread (Results 1 – 1 of 1) sorted by relevance
121 static void kppet_thread(void * param, wait_result_t wr);232 kern_return_t kr = kernel_thread_start(kppet_thread, NULL, in kppet_setup()308 kppet_thread(void * __unused param, wait_result_t __unused wr) in kppet_thread() function