100644 blob 33602f43a7d1a5f553bdef0323e02449bae250d1	machine-lock.h
100644 blob 536f6902171a59693435b98aaa0034b422771b08	machine-sp.h
100644 blob ff50e971cc5f57ba6320e8fd9cd03836250c2814	syscall.S
100644 blob 4fc5d50f3dd65ab6abcd7b5109065d1e1a9c1790	sysdep.h
100644 blob cefea2cfb65f944c3b7057bf111c64220c753262	thread_state.h