t1_os_pci_write_config_4
int t1_os_pci_write_config_4(ch_t *obj, uint32_t reg, uint32_t val);
(void) t1_os_pci_write_config_4(adapter, A_PCICFG_INTR_ENABLE,
(void) t1_os_pci_write_config_4(adapter, A_PCICFG_INTR_ENABLE, 0);
(void) t1_os_pci_write_config_4(adapter, A_PCICFG_INTR_CAUSE,
(void) t1_os_pci_write_config_4(adapter, A_PCICFG_INTR_CAUSE,
(void) t1_os_pci_write_config_4(chp, A_PCICFG_PCIX_CMD,
(void) t1_os_pci_write_config_4(chp, 0xc, 0xf800);