rmixl_intr_string
rmixl_intr_string(vec));
extern const char *rmixl_intr_string(int);
name = rmixl_intr_string(RMIXL_IRT_VECTOR(irq));
name = rmixl_intr_string(RMIXL_IRT_VECTOR(irq));
name = rmixl_intr_string(RMIXL_IRT_VECTOR(irq));
strlcpy(buf, rmixl_intr_string(RMIXL_IRT_VECTOR(irq)), len);