100644 blob 408c2b39cf41a7f843057ad4012082b15a08eb44	machine-lock.h
100644 blob 020509c73eeca103d5e8a195fccf1fc31956063e	machine-sp.h
100644 blob 0c75262d805e93a0c67437fc4f7b4777fd0a557e	syscall.S
100644 blob 63d960dfa0401e1a4b0c5a17047ad5785e9fe57a	sysdep.h
100644 blob 207256658e7ac44f8d19d611e555af81ebeefe9a	thread_state.h