100644 blob 3c12021eb2f300d820335086816634b1676d1248	machine-lock.h
100644 blob 196c6a38026267437845c1a81515ff976cc6c732	machine-sp.h
100644 blob 531d4e96932587b53c5d2f4f2af44a1958bdb8af	syscall.S
100644 blob 3595ad7330eec6356f329d48579b016a3089a575	sysdep.h
100644 blob 56d91dfdb70a4fd62f45bef49bed7f085e4b4b89	thread_state.h