Searched refs:ithread_destroy (Results 1 – 1 of 1) sorted by relevance
116 static void ithread_destroy(struct intr_thread *ithread);546 ithread_destroy(ie->ie_thread); in intr_event_destroy()578 ithread_destroy(struct intr_thread *ithread) in ithread_destroy() function