{
  "read_pci_reg": {
    "(0,0,0,96,4)": [
      "3221225473"
    ],
    "(0,0,0,100,4)": [
      "0"
    ]
  },
  "write_mmio_reg": {
    "(3221225984,1,26)": [
      ""
    ]
  }
}