100644 blob 64c7db083b23017dd4bd96bb0cd77502ef676e42	apicdef.h
100644 blob 2258d9f60927fdc55d4e14ebd8845af6de43e397	cpufeature.h
100644 blob 3f2cbeddae949863e659b98944d9acf23c6be3c5	cpuid.h
100644 blob 48e1bbd3f7a4e76533e60836839cd6c0042f509f	decode.h
100644 blob b6ccee0b55806605b8a209a10280928a15e91801	lapic.h
100644 blob a41af45d6137c1d9e5f97d7db92b62a94597e53e	msr.h
100644 blob 454219728e9bf5b8c58f443e4719f6cb65351e9e	platfeature.h