int xnintr_destroy(xnintr_t *intr) { return xnintr_detach(intr); }
int xnintr_destroy(xnintr_t *intr) { xnintr_detach(intr); return 0; }