pccbb_pcmcia_intr_string
const char *pccbb_pcmcia_intr_string(pcmcia_chipset_handle_t, void *);
pccbb_pcmcia_intr_string,