vmmci_io
if (pci_add_bar(id, PCI_MAPREG_TYPE_IO, vmmci_io, dev) == -1) {
int vmmci_io(int, uint16_t, uint32_t *, uint8_t *, void *, uint8_t);