100644 blob 641c3962d9feca3415a2deb3865405e9745961f4	boolean.h
040000 tree df942cfaf3fef1f18e03dda5d2db9cce52cd104c	i386
100644 blob 5bb21e48be20db945f36291a82777d99dce13594	machine.h
040000 tree 54744f1ce07fcae64d9483a8a3271bc617e1702b	machine
100644 blob aead09bf9733da6af3d9bbc346b2bdbf54f9e1db	thread_status.h
100644 blob 07c2114e5c1de28008fed9519b44392cfa0dfcdf	vm_prot.h