sysasic_intr_string
aprint_normal(": %s\n", sysasic_intr_string(SYSASIC_IRL9));
sysasic_intr_string(SYSASIC_IRL9));
strlcpy(buf, sysasic_intr_string(SYSASIC_IRL11), len);
printf(": %s\n", sysasic_intr_string(SYSASIC_IRL9));
printf(": %s\n", sysasic_intr_string(IRL_MAPLE));
const char *__pure sysasic_intr_string(int /*ipl*/) __attribute__((const));