summaryrefslogtreecommitdiff
path: root/src/arch/x86
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/x86')
-rw-r--r--src/arch/x86/include/arch/pci_mmio_cfg.h12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/arch/x86/include/arch/pci_mmio_cfg.h b/src/arch/x86/include/arch/pci_mmio_cfg.h
index fb582dd3a0..eec9d97a4c 100644
--- a/src/arch/x86/include/arch/pci_mmio_cfg.h
+++ b/src/arch/x86/include/arch/pci_mmio_cfg.h
@@ -29,7 +29,7 @@ static inline __attribute__ ((always_inline))
u8 pcie_read_config8(pci_devfn_t dev, unsigned int where)
{
void *addr;
- addr = (void *)(DEFAULT_PCIEXBAR | dev | where);
+ addr = (void *)(uintptr_t)(DEFAULT_PCIEXBAR | dev | where);
return read8(addr);
}
@@ -37,7 +37,7 @@ static inline __attribute__ ((always_inline))
u16 pcie_read_config16(pci_devfn_t dev, unsigned int where)
{
void *addr;
- addr = (void *)(DEFAULT_PCIEXBAR | dev | (where & ~1));
+ addr = (void *)(uintptr_t)(DEFAULT_PCIEXBAR | dev | (where & ~1));
return read16(addr);
}
@@ -45,7 +45,7 @@ static inline __attribute__ ((always_inline))
u32 pcie_read_config32(pci_devfn_t dev, unsigned int where)
{
void *addr;
- addr = (void *)(DEFAULT_PCIEXBAR | dev | (where & ~3));
+ addr = (void *)(uintptr_t)(DEFAULT_PCIEXBAR | dev | (where & ~3));
return read32(addr);
}
@@ -53,7 +53,7 @@ static inline __attribute__ ((always_inline))
void pcie_write_config8(pci_devfn_t dev, unsigned int where, u8 value)
{
void *addr;
- addr = (void *)(DEFAULT_PCIEXBAR | dev | where);
+ addr = (void *)(uintptr_t)(DEFAULT_PCIEXBAR | dev | where);
write8(addr, value);
}
@@ -61,7 +61,7 @@ static inline __attribute__ ((always_inline))
void pcie_write_config16(pci_devfn_t dev, unsigned int where, u16 value)
{
void *addr;
- addr = (void *)(DEFAULT_PCIEXBAR | dev | (where & ~1));
+ addr = (void *)(uintptr_t)(DEFAULT_PCIEXBAR | dev | (where & ~1));
write16(addr, value);
}
@@ -69,7 +69,7 @@ static inline __attribute__ ((always_inline))
void pcie_write_config32(pci_devfn_t dev, unsigned int where, u32 value)
{
void *addr;
- addr = (void *)(DEFAULT_PCIEXBAR | dev | (where & ~3));
+ addr = (void *)(uintptr_t)(DEFAULT_PCIEXBAR | dev | (where & ~3));
write32(addr, value);
}