s3c2800_pci_intr_string
const char *s3c2800_pci_intr_string(void *, pci_intr_handle_t, char *, size_t);
.pc_intr_string = s3c2800_pci_intr_string,