--- src/sys/sys/usched.h	2006/06/10 20:19:39	1.12
+++ src/sys/sys/usched.h	2007/07/02 17:06:56	1.13
@@ -81,6 +81,7 @@ union usched_data {
 
 extern struct usched	usched_bsd4;
 extern struct usched	usched_dummy;
+extern cpumask_t usched_mastermask;
 
 int usched_ctl(struct usched *, int);
 struct usched *usched_init(void);