)]}'
{
  "commit": "9a43632bf66744e7ede40a024656e3efd2072ab3",
  "tree": "33de18b32f9e8b060c3d10f5360303bc47b42355",
  "parents": [
    "a41b3097a98773bad6ee6be04831d6adee7b79b3"
  ],
  "author": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Wed Mar 04 18:40:17 2020 +1100"
  },
  "committer": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Fri Mar 06 11:58:12 2020 +1100"
  },
  "message": "libsel4vmmplatsupport: Update documentation\n\nThis commit refreshes the interface documentation in\nlibsel4vmmplatsupport. This commit patches in missing documentation\nand additionally ensures all interface documentation conforms to\nDoxygen style comments.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ca931abd4585ceb4c9000cdd22d95a8c3f0a5e2e",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ac_device.h",
      "new_id": "a175ab3441f7a2c95269a7083c2b373a9718a9ef",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ac_device.h"
    },
    {
      "type": "modify",
      "old_id": "4428cd03c4921daddbe0eb65ac8fc1c39a23c1e7",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/generic_forward_device.h",
      "new_id": "a941bc18f8a854bce5dc5beb724bdd8a1b56870f",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/generic_forward_device.h"
    },
    {
      "type": "modify",
      "old_id": "14b3912dc646204172f7a3e21f7d9c03ed1bc8e4",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_boot_init.h",
      "new_id": "18644cc7868c8a536b39cfc869bb7f4cc33d8b85",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_boot_init.h"
    },
    {
      "type": "modify",
      "old_id": "42551b3fe55c08ff0b176b0f935e200ba69dd995",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_reboot.h",
      "new_id": "2b0a4f286e17e53c44d155b1392d91ac21252eb0",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_reboot.h"
    },
    {
      "type": "modify",
      "old_id": "f9c6cb49fb1875057287953c9fe5e53c6a8f8ca8",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_vcpu_fault.h",
      "new_id": "ee901083615227851472b96b8061dd58166cd3de",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_vcpu_fault.h"
    },
    {
      "type": "modify",
      "old_id": "68de714804dd02e0e90afe4d4b9828e25b11fd36",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_vcpu_util.h",
      "new_id": "630c9608ad2c6d1f8f85afc98f84148a5cc596af",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_vcpu_util.h"
    },
    {
      "type": "modify",
      "old_id": "30dcc36b653fcaa98a503735a8e37e39524027bf",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/vpci.h",
      "new_id": "fd7649981f49f7e94e68ff5b4f154e179716b766",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/vpci.h"
    },
    {
      "type": "modify",
      "old_id": "555c8da32b022afdfad4bae6002acce0d7ad7530",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/vusb.h",
      "new_id": "ed3c261ace5c28e3d066971d6ab3333eb35e8785",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/vusb.h"
    },
    {
      "type": "modify",
      "old_id": "275b310f0af32baa5e4cd1cfd5416c860ad343bc",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/acpi.h",
      "new_id": "4a290eb75baaa0da1aad1a078dc92d7044632344",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/acpi.h"
    },
    {
      "type": "modify",
      "old_id": "ffe988d7c3d5662bdb9ce1b91835b3e4eb08145c",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/vmm_pci_helper.h",
      "new_id": "75e581bbf89df3efdc9dd357e633909d848296fa",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/vmm_pci_helper.h"
    },
    {
      "type": "modify",
      "old_id": "e166f27f14476471fdd30b68a7808e825de70f7b",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/guest_boot_init.h",
      "new_id": "6c716b28d1c907ee46b8b8f42ee83d1483a25147",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/guest_boot_init.h"
    },
    {
      "type": "modify",
      "old_id": "ecac81bb0badf09fee33e632a80395645d904303",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/device.h",
      "new_id": "f9a8104470df2c0e30c620a16317a592dbb89939",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/device.h"
    },
    {
      "type": "modify",
      "old_id": "827e710323fd79b49fbb40ab468611cfedca7b1d",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/device_utils.h",
      "new_id": "543425182dea3867b275756ff6138b3690ecb5f9",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/device_utils.h"
    },
    {
      "type": "modify",
      "old_id": "8ea5b58d087651bbcc9e02f88a15d6448cfc3578",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/cross_vm_connection.h",
      "new_id": "da8ff9b9d24e18a581115f21222889b962e1f7ea",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/cross_vm_connection.h"
    },
    {
      "type": "modify",
      "old_id": "15576870f7d2e7b223e657ddb6d5f344af64cd7f",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/pci.h",
      "new_id": "24eabf87d6c8a977cff31bac1c3fb7c02550991f",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/pci.h"
    },
    {
      "type": "modify",
      "old_id": "c17c8624a3b86b0a24d76d3a6bdf1530c8481f69",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/pci_helper.h",
      "new_id": "ae20acacb84940ed762227a86d065514f61a0bd3",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/pci_helper.h"
    },
    {
      "type": "modify",
      "old_id": "4f972e4115316f33fa47e962776525e7a59c9c09",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/virtio_con.h",
      "new_id": "8dcdb3ce0f6c81404c46ac8bbadc46a70b8f5d79",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/virtio_con.h"
    },
    {
      "type": "modify",
      "old_id": "c6a6831a8c6902bf097cfcf97a2fca18c7424e5b",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/virtio_net.h",
      "new_id": "2aa961a751f1c188c34f1ef11a8d13a63648d87f",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/virtio_net.h"
    },
    {
      "type": "modify",
      "old_id": "20e057f1ddba31f667cbb3feaa1b9804af0b691c",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_image.h",
      "new_id": "33122ed6ecdfe81259a5aefa595357bda58d8348",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_image.h"
    },
    {
      "type": "modify",
      "old_id": "d12c669c91d8cc33cf22e8eceb332b277d564b7d",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_memory_util.h",
      "new_id": "366494cdf13f9f6a83ffdbd60c77450f0e98b54b",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_memory_util.h"
    },
    {
      "type": "modify",
      "old_id": "0074bcf608701546ef8f4a507432536177911909",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_vcpu_util.h",
      "new_id": "aa61be963af2d4dacea5eaaae8c4e9a245ef916a",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_vcpu_util.h"
    },
    {
      "type": "modify",
      "old_id": "3149d7f3ccfebf2fbabb5c8249a9616f8601ef9f",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/ioports.h",
      "new_id": "c7ab0a464ba73bf18e8502c6b096a0e60b4cfe3a",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/ioports.h"
    }
  ]
}