--- gnumach/include/mach/thread_info.h	2019-09-03 01:22:10.920747802 +0200
+++ GNUMach_SMP/include/mach/thread_info.h	2019-10-26 20:37:34.827966396 +0200
@@ -66,6 +66,7 @@
 	integer_t	sleep_time;	/* number of seconds that thread
 					   has been sleeping */
 	time_value_t	creation_time;	/* time stamp of creation */
+	integer_t	last_processor; /* last processor used by the thread */
 };
 
 typedef struct thread_basic_info	thread_basic_info_data_t;