632 	int watched;  in flush_user_windows_to_stack()  local
669 		watched = watch_disable_addr(sp, rwindow_size, S_WRITE);  in flush_user_windows_to_stack()
712 		if (watched)  in flush_user_windows_to_stack()
907 	volatile int watched = 0;  in sendsig()  local
1019 	watched = watch_disable_addr((caddr_t)fp, SA(minstacksz), S_WRITE);  in sendsig()
1155 	if (watched)  in sendsig()
1181 	if (watched)  in sendsig()
1238 	volatile int watched = 0;  in sendsig32()  local
1349 	watched = watch_disable_addr((caddr_t)fp, SA32(minstacksz), S_WRITE);  in sendsig32()
1498 	if (watched)  in sendsig32()
1524 	if (watched)  in sendsig32()