mspcic_read_4
id = mspcic_read_4(pcic_id);
si = mspcic_read_4(pcic_sys_ipr);
id = mspcic_read_4(pcic_id);
pci_devinfo(mspcic_read_4(pcic_id), mspcic_read_4(pcic_class), 0,
(void)mspcic_read_4(pcic_pclr); /* clear the limit bit */
t = mspcic_read_4(pcic_pccr);
c = mspcic_read_4(pcic_sccr);
(void)mspcic_read_4(pcic_sclr); /* clear the interrupt */
(void)mspcic_read_4(pcic_pclr); /* clear the interrupt */