100644 blob e70baab39cce34191746a0d08de18687ef47aa6d	assembly.h
100644 blob 46d14f67b02786ba502d2f6da8ffab9dedddfbb5	barrier.h
100644 blob 23825aab031db5401b249ceb68067f09593f4132	bios-export.h
100644 blob edeab17fdd1b6e95269583b15d89887c275dc97c	bios.h
100644 blob 85b637f585c28e396fc8fe0d7a4abfa255693a20	boot-protocol.h
100644 blob bc4abbbb42f058a69536908e5cc4d08749c5c09a	cpufeature.h
100644 blob f2889dacd721384db6711d856089d800a52423ab	e820.h
100644 blob eebd73f95c06b17300fa44d0032e9a583e51c0d7	fdt-arch.h
100644 blob 00c7ed7dc3c1e8d136e66da2e912c58104b9618c	interrupt.h
100644 blob 73a957bba5683128b4a76daf6a11534e0052c4e3	kvm-arch.h
100644 blob 3eae8dbce0b8406ca44fdcca917795bf5e7344cf	kvm-config-arch.h
100644 blob 05e5bb6c5c65fa4d0dc7541f1fbaa82a41446629	kvm-cpu-arch.h
100644 blob 9e3cfa6be1ce4abc31be4f56858c3c77d10130c3	mptable.h