2007-12-19 02:32:08 +01:00
|
|
|
/*
|
2008-01-18 11:35:56 +01:00
|
|
|
* This file is part of the coreboot project.
|
2007-12-19 02:32:08 +01:00
|
|
|
*
|
|
|
|
* Copyright (C) 2007 Advanced Micro Devices, Inc.
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation; version 2 of the License.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
#ifndef AMDFAM10_PCI_C
|
|
|
|
#define AMDFAM10_PCI_C
|
|
|
|
/* bit [10,8] are dev func, bit[1,0] are dev index */
|
|
|
|
|
|
|
|
|
|
|
|
static u32 pci_read_config32_index(device_t dev, u32 index_reg, u32 index)
|
|
|
|
{
|
|
|
|
u32 dword;
|
|
|
|
|
|
|
|
pci_write_config32(dev, index_reg, index);
|
|
|
|
dword = pci_read_config32(dev, index_reg+0x4);
|
|
|
|
return dword;
|
|
|
|
}
|
|
|
|
|
2010-07-08 18:41:05 +02:00
|
|
|
#ifdef UNUSED_CODE
|
2007-12-19 02:32:08 +01:00
|
|
|
static void pci_write_config32_index(device_t dev, u32 index_reg, u32 index, u32 data)
|
|
|
|
{
|
|
|
|
|
|
|
|
pci_write_config32(dev, index_reg, index);
|
|
|
|
|
|
|
|
pci_write_config32(dev, index_reg + 0x4, data);
|
|
|
|
|
|
|
|
}
|
2010-07-08 18:41:05 +02:00
|
|
|
#endif
|
2007-12-19 02:32:08 +01:00
|
|
|
|
|
|
|
static u32 pci_read_config32_index_wait(device_t dev, u32 index_reg, u32 index)
|
|
|
|
{
|
|
|
|
|
|
|
|
u32 dword;
|
|
|
|
|
|
|
|
index &= ~(1<<30);
|
|
|
|
pci_write_config32(dev, index_reg, index);
|
|
|
|
do {
|
|
|
|
dword = pci_read_config32(dev, index_reg);
|
|
|
|
} while (!(dword & (1<<31)));
|
|
|
|
dword = pci_read_config32(dev, index_reg+0x4);
|
|
|
|
return dword;
|
|
|
|
}
|
|
|
|
|
2010-07-08 18:41:05 +02:00
|
|
|
#ifdef UNUSED_CODE
|
2007-12-19 02:32:08 +01:00
|
|
|
static void pci_write_config32_index_wait(device_t dev, u32 index_reg, u32 index, u32 data)
|
|
|
|
{
|
|
|
|
|
|
|
|
u32 dword;
|
|
|
|
|
|
|
|
pci_write_config32(dev, index_reg + 0x4, data);
|
|
|
|
index |= (1<<30);
|
|
|
|
pci_write_config32(dev, index_reg, index);
|
|
|
|
do {
|
|
|
|
dword = pci_read_config32(dev, index_reg);
|
|
|
|
} while (!(dword & (1<<31)));
|
|
|
|
|
|
|
|
}
|
|
|
|
#endif
|
2010-07-08 18:41:05 +02:00
|
|
|
#endif
|