100644 blob 5fa6717000af7a2545ffbc395af67cc512f88bab	arch.h
100644 blob dcfdc6ce31fe2fd77e05c2fa76e0339dea216988	cpu_feat.h
100644 blob 57a0b5418552f8154acd978969fc0cd2294cf49e	membar.h
100644 blob e52100b87f0772754be5ce1ef80615749529bd07	mmu.h
100644 blob 682c4341ff805dac3836fdab7f3ea95420ac1627	syscall.h
100644 blob b632529b87432ff15e290e1127bcbbbd777236a2	trapframe.h
100644 blob a8c612e0704d20978b35fa66304d25cfe0dd89dd	vmm.h