Searched refs:ithread_destroy (Results 1 – 1 of 1) sorted by relevance
111 static void ithread_destroy(struct intr_thread *ithread);520 ithread_destroy(ie->ie_thread); in intr_event_destroy()556 ithread_destroy(struct intr_thread *ithread) in ithread_destroy() function894 ithread_destroy(ie->ie_thread); in intr_event_remove_handler()