#ifndef __LUNAIX_PCI_HBA_H
#define __LUNAIX_PCI_HBA_H

#include <hal/pci.h>
#include <lunaix/types.h>

#include "port_io.h"

#define PCI_CONFIG_ADDR 0xcf8
#define PCI_CONFIG_DATA 0xcfc

static inline pci_reg_t
pci_read_cspace(ptr_t base, int offset)
{
    port_wrdword(PCI_CONFIG_ADDR, base | (offset & ~0x3));
    return port_rddword(PCI_CONFIG_DATA);
}

static inline void
pci_write_cspace(ptr_t base, int offset, pci_reg_t data)
{
    port_wrdword(PCI_CONFIG_ADDR, base | (offset & ~0x3));
    port_wrdword(PCI_CONFIG_DATA, data);
}

static inline u16_t 
pci_config_msi_data(int vector) {
    return vector;
}

static inline ptr_t 
pci_get_msi_base() {
    return 0xFEE00000;
}


#endif /* __LUNAIX_PCI_HBA_H */