Index: kernel/test/synch/rcu1.c
===================================================================
--- kernel/test/synch/rcu1.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/test/synch/rcu1.c	(revision 3cfe2b8dd986aa1b72746ca06ec25e4e5cb45284)
@@ -361,5 +361,5 @@
 typedef struct {
 	rcu_item_t rcu;
-	atomic_count_t start_time;
+	size_t start_time;
 } seq_item_t;
 
@@ -368,5 +368,5 @@
 
 static atomic_t cur_time = { 1 };
-static atomic_count_t max_upd_done_time = { 0 };
+static size_t max_upd_done_time = { 0 };
 
 static void seq_cb(rcu_item_t *rcu_item)
@@ -399,5 +399,5 @@
 		for (size_t i = 0; i < work->read_cnt; ++i) {
 			rcu_read_lock();
-			atomic_count_t start_time = atomic_postinc(&cur_time);
+			size_t start_time = atomic_postinc(&cur_time);
 
 			for (volatile size_t d = 0; d < 10 * i; ++d) {
Index: kernel/test/synch/semaphore1.c
===================================================================
--- kernel/test/synch/semaphore1.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/test/synch/semaphore1.c	(revision 3cfe2b8dd986aa1b72746ca06ec25e4e5cb45284)
@@ -73,6 +73,6 @@
 {
 	int i, j, k;
-	atomic_count_t consumers;
-	atomic_count_t producers;
+	size_t consumers;
+	size_t producers;
 
 	waitq_initialize(&can_start);
Index: kernel/test/thread/thread1.c
===================================================================
--- kernel/test/thread/thread1.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/test/thread/thread1.c	(revision 3cfe2b8dd986aa1b72746ca06ec25e4e5cb45284)
@@ -56,5 +56,5 @@
 {
 	unsigned int i;
-	atomic_count_t total = 0;
+	size_t total = 0;
 
 	atomic_store(&finish, 1);