100644 blob d1648e97c1a685a814ed20e5f4694ea63cc54da6	exc.defs
100644 blob c562128e8a123bee22abf4c6b2dd17932fe5221d	mach_exc.defs
100644 blob dc18b8eb0b7e197aeaa2bbaaaf155ad58732fd05	mach_types.defs
040000 tree f3bb9ac7a3a89f2b58a9312063c92bd7be51b3a0	machine
100644 blob e49c6e46b75d6ab3aeb4a59ac49d13d965b27b03	std_types.defs