100644 blob a09129b7be4d59ec07c762d8339ec44fe6fa3d09	arch.h
100644 blob 1572085f985e5136997b2f22a906794b0795bb20	cpu_feat.h
100644 blob 307c00eb7e776139c03f3c9340e52d9c2d7e480c	membar.h
100644 blob 6e423addc47b9755f6abb0c21f31f3d83889ca7f	mmu.h
100644 blob c896b1b698f09c2a5e48beb08a08a0ede603d947	mmu64.h
100644 blob 0843304032b47c4a35b7e1e4f1ee553fa6cc758b	msr-index.h
100644 blob 9590b60b33e361a864bf23f288c75ee18c54ef32	perfmon.h
100644 blob 468316e38b5bd44105a3bdaf5bd5497823d830ba	syscall.h
100644 blob f5bed726f85069f327c8a0b6c9305b9ee3e6977d	syscall64.h
100644 blob 5e46ea00f51670734957d582f5dda318c1412924	trapframe.h
100644 blob 64380e2831d8a87fcfd0a80d06efb5b539576e04	trapframe64.h
100644 blob 6d5d2f96dc3afe9b5473a88a1968e0b6ffafbe2e	vmm.h
100644 blob bf46ef72a18f2af01d4c1737b255409ef878031d	vmx.h