100644 blob 96af2219bee7271934d929105ce77be774f90bf9	machine-lock.h
100644 blob 267707bce0bc7f09d2264ff55ec41c692c073c9d	machine-sp.h
100644 blob 6482f0d72a9ef34040de56ef383738002f537bef	syscall.S
100644 blob acfacc473bed84777784b0aa9554177ebdbc1dc4	sysdep.h
100644 blob e6ca1042f6531098ee49a260c0ae70706db9c492	thread_state.h