/*
 * PCI Frontend - arch-dependendent declarations
 *
 *   Author: Ryan Wilson <hap9@epoch.ncsc.mil>
 */
#ifndef __XEN_ASM_PCIFRONT_H__
#define __XEN_ASM_PCIFRONT_H__

#include <linux/config.h>
#include <linux/spinlock.h>

#ifdef __KERNEL__

#ifndef __ia64__

struct pcifront_device;
struct pci_bus;

struct pcifront_sd {
	int domain;
	struct pcifront_device *pdev;
};

static inline struct pcifront_device *
pcifront_get_pdev(struct pcifront_sd *sd)
{
	return sd->pdev;
}

static inline void pcifront_init_sd(struct pcifront_sd *sd, int domain,
				    struct pcifront_device *pdev)
{
	sd->domain = domain;
	sd->pdev = pdev;
}

#if defined(CONFIG_PCI_DOMAINS)
static inline int pci_domain_nr(struct pci_bus *bus)
{
	struct pcifront_sd *sd = bus->sysdata;
	return sd->domain;
}
static inline int pci_proc_domain(struct pci_bus *bus)
{
	return pci_domain_nr(bus);
}
#endif /* CONFIG_PCI_DOMAINS */

#else /* __ia64__ */

#include <asm/pci.h>
#define pcifront_sd pci_controller

static inline struct pcifront_device *
pcifront_get_pdev(struct pcifront_sd *sd)
{
	return (struct pcifront_device *)sd->platform_data;
}

static inline void pcifront_init_sd(struct pcifront_sd *sd, int domain,
				    struct pcifront_device *pdev)
{
	sd->segment = domain;
	sd->acpi_handle = NULL;
	sd->iommu = NULL;
	sd->windows = 0;
	sd->window = NULL;
	sd->platform_data = pdev;
}

#endif /* __ia64__ */

extern spinlock_t pci_bus_lock;

#endif /* __KERNEL__ */

#endif /* __XEN_ASM_PCIFRONT_H__ */