100644 blob 420b41167dbea7182aa9ce36e0dcb2525c07b433	apic-msidef.h
100644 blob bdc15a7a73174f71c26f63510c6396bc4d3961a8	apic.h
100644 blob 5f2ba24bfcd2ad8c3f83fa5ca7b1acd91e08b272	apic_internal.h
100644 blob 846c7260854ef4c6c8253bf1a5707b56b737b525	hostmem-epc.h
100644 blob 89dcbc5e1e4f18389cbe2d0fb51f6fa1ba2f9d03	intel_iommu.h
100644 blob fad97a891dcb31fc06483616fac55c9e5a5c739b	microvm.h
100644 blob 8206d5405a20621ecc0c5cc4e1100abd10e4d2f3	pc.h
100644 blob 3e00efd870c95d8c0991b6cfa334eed79c64e8cb	sgx-epc.h
100644 blob 81573f6cfde011a477aaab67030ede3a7b8cf5a1	topology.h
100644 blob 8f5e27c6f5956ab82df147328c8b278ef7e8e797	vmport.h
100644 blob 8d8d53b18b6200fd15eb06a7a6b7bd8e994e0971	x86-iommu.h
100644 blob 0b337a036c64fb09a59fd2ba628068f351e3b383	x86.h