100644 blob 96c8f489766300f301706b39ff439e329daad094	xen-x86_32.h
100644 blob 0e9270221176016516f2edfdd07642688e68ee94	xen-x86_64.h
100644 blob d75528f040170150a73d0e992d7a445a234903b6	xen.h