#ifndef PCI_SERIAL_SERIAL_H_
#define PCI_SERIAL_SERIAL_H_

#include <stdint.h>
#include <stddef.h>

typedef struct {
  uint16_t iobase;
  int lockstate;
} PciSerialDev;

void pci_serial_init(void);

#endif // PCI_SERIAL_SERIAL_H_