{
  "cpuid": {
    "(1,0)": [
      "(526017, 118491136, 2147154879, 3219913727)"
    ]
  },
  "get_threads_count": {
    "()": [
      "8"
    ]
  },
  "read_pci_reg":{
    "(0,31,1,0,4)": [
      "4294967295",
      "4294967295",
      "4294967295"
    ],
    "(0,31,1,224,4)": [
      "4294967295",
      "4294967295"
    ],
    "(0,31,1,16,4)": [
      "4294967295"
    ]
  },
  "read_msr": {
    "(0,3200)": [
      "(1073741824, 0)"
    ],
    "(1,3200)": [
      "(1073741824, 0)"
    ],
    "(2,3200)": [
      "(1073741824, 0)"
    ],
    "(3,3200)": [
      "(1073741824, 0)"
    ],
    "(4,3200)": [
      "(1073741824, 0)"
    ],
    "(5,3200)": [
      "(1073741824, 0)"
    ],
    "(6,3200)": [
      "(1073741824, 0)"
    ],
    "(7,3200)": [
      "(1073741824, 0)"
    ]
  },
  "write_pci_reg": {
    "(0,31,1,224,4294967039,4)": [
      "4294967039"
    ],
    "(0,31,1,224,4294967295,4)": [
      "4294967295"
    ]
  },
  "read_mmio_reg": {
    "(4256694276,4)": [
      "64961"
    ]
  }
}