ocs_config_read32
ocs_config_read32(ocs, SLI4_INTF_REG));
v32 = ocs_config_read32(ocs, req->offset);
req->sli_intf = ocs_config_read32(ocs, SLI4_INTF_REG);
ocs_config_read32(ocs, SLI4_INTF_REG));
ocs_config_read32(ocs, SLI4_ASIC_ID_REG));
family = (ocs_config_read32(ocs, SLI4_INTF_REG) & 0x00000f00) >> 8;
asic_id = ocs_config_read32(ocs, SLI4_ASIC_ID_REG);
rev_id = ocs_config_read32(ocs, SLI4_PCI_CLASS_REVISION) & 0xff;
extern uint32_t ocs_config_read32(ocs_os_handle_t os, uint32_t reg);
sli_intf = ocs_config_read32(os, SLI4_INTF_REG);
pci_class_rev = ocs_config_read32(os, SLI4_PCI_CLASS_REVISION);
uint32_t asic_id = ocs_config_read32(os, SLI4_ASIC_ID_REG);
val = ocs_config_read32(sli4->os, SLI4_PCI_SOFT_RESET_CSR);
value = ocs_config_read32(sli4->os, SLI4_SW_UE_REG);