100644 blob 801a68d326f768305b16df43decd1b62bc8afc00	Makefile.objs
100644 blob f5acd6a096216ac1558eca0f9dab170475d03098	xen_apic.c
100644 blob de83f4e3ee0e5295d8d13471fcae42873a706aff	xen_platform.c
100644 blob c2189473bac8d666e1df6766ef732c392b32fa5b	xen_pvdevice.c