/* Simplistic PCI support.

   Copyright (C) 2011 Richard Henderson

   This file is part of QEMU PALcode.

   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; either version 2 of the License or
   (at your option) any later version.

   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 text
   of the GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; see the file COPYING.  If not see
   <http://www.gnu.org/licenses/>.  */

/* This header is intended to be compatible with the pci.h from SeaBIOS.
   Their header, however, is too PC specific to be of use.  */

#ifndef PCI_H
#define PCI_H 1

extern void *pci_conf_base;

static inline void pci_config_writel(int bdf, uint8_t addr, uint32_t val)
{
  *(volatile uint32_t *)(pci_conf_base + bdf * 256 + addr) = val;
}

static inline void pci_config_writew(int bdf, uint8_t addr, uint16_t val)
{
  *(volatile uint16_t *)(pci_conf_base + bdf * 256 + addr) = val;
}

static inline void pci_config_writeb(int bdf, uint8_t addr, uint8_t val)
{
  *(volatile uint8_t *)(pci_conf_base + bdf * 256 + addr) = val;
}

static inline uint32_t pci_config_readl(int bdf, uint8_t addr)
{
  return *(volatile uint32_t *)(pci_conf_base + bdf * 256 + addr);
}

static inline uint16_t pci_config_readw(int bdf, uint8_t addr)
{
  return *(volatile uint16_t *)(pci_conf_base + bdf * 256 + addr);
}

static inline uint8_t pci_config_readb(int bdf, uint8_t addr)
{
  return *(volatile uint8_t *)(pci_conf_base + bdf * 256 + addr);
}

extern void pci_config_maskw(int bdf, int addr, uint16_t off, uint16_t on);

extern int pci_next(int bdf, int *pmax);

#define foreachpci(BDF, MAX)				\
	for (MAX = 0x0100, BDF = pci_next(0, &MAX);	\
	     BDF >= 0;					\
	     BDF = pci_next(BDF+1, &MAX))

#endif /* PCI_H */