)]}'
{
  "id": "85ca8b02695a2002545b40565132bac23b47e93f",
  "repo": "third_party/kernel",
  "revision": "4942e8254d93b31ea14cf63a9dfd10a8112caafa",
  "path": "include/xen/interface/io/console.h"
}