100644 blob a09129b7be4d59ec07c762d8339ec44fe6fa3d09	arch.h
100644 blob 2ecf9b1268b677a257acc106b2b59c22ccc875e2	cpu_feat.h
100644 blob 307c00eb7e776139c03f3c9340e52d9c2d7e480c	membar.h
100644 blob 6e423addc47b9755f6abb0c21f31f3d83889ca7f	mmu.h
100644 blob 66d54e132a6faadcf93b2da4d285abe2db65cf57	mmu64.h
100644 blob 69456d4cfdfe680206960e0ff0f772209dc74d10	msr-index.h
100644 blob 9590b60b33e361a864bf23f288c75ee18c54ef32	perfmon.h
100644 blob 468316e38b5bd44105a3bdaf5bd5497823d830ba	syscall.h
100644 blob 7b63ca745b7e7c6d4320bab6615fc1c5405680cb	syscall64.h
100644 blob cac80d6702b75ee99cbfda4e43b7cbb9b98ef757	trapframe.h
100644 blob fcbc97bb3b5ad9c2546218179341e86f8a16b9f8	trapframe64.h
100644 blob 7ef89480ee8dab30ce8324efe1fa801c548d2a3e	vmm.h
100644 blob e93a63e53a7e0482e1a86d8d2778e38eb083b90a	vmx.h