Jeremy Fitzhardinge e3d2697669 xen: fix incorrect vcpu_register_vcpu_info hypercall argument há 18 anos atrás
..
interface e3d2697669 xen: fix incorrect vcpu_register_vcpu_info hypercall argument há 18 anos atrás
events.h b536b4b962 xen: use the hvc console infrastructure for Xen console há 18 anos atrás
features.h 5ead97c84f xen: Core Xen implementation há 18 anos atrás
grant_table.h ad9a86121f xen: Add grant table support há 18 anos atrás
hvc-console.h b536b4b962 xen: use the hvc console infrastructure for Xen console há 18 anos atrás
page.h dfb68689bf xen: xen/page.h compile fix há 18 anos atrás
xenbus.h 4bac07c993 xen: add the Xenbus sysfs and virtual device hotplug driver há 18 anos atrás