Index: kernel/generic/src/adt/cht.c
===================================================================
--- kernel/generic/src/adt/cht.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/generic/src/adt/cht.c	(revision 036e97cf14fc9f9a4783fbb16419e5aaf0793b2d)
@@ -618,5 +618,5 @@
 
 	/* You must clear the table of items. Otherwise cht_destroy will leak. */
-	assert(atomic_get(&h->item_cnt) == 0);
+	assert(atomic_load(&h->item_cnt) == 0);
 }
 
@@ -625,5 +625,5 @@
 {
 	/* Wait for resize to complete. */
-	while (0 < atomic_get(&h->resize_reqs)) {
+	while (0 < atomic_load(&h->resize_reqs)) {
 		rcu_barrier();
 	}
@@ -2160,5 +2160,5 @@
 	/* Make resize_reqs visible. */
 	read_barrier();
-	assert(0 < atomic_get(&h->resize_reqs));
+	assert(0 < atomic_load(&h->resize_reqs));
 #endif
 
@@ -2168,5 +2168,5 @@
 		/* Load the most recent h->item_cnt. */
 		read_barrier();
-		size_t cur_items = (size_t) atomic_get(&h->item_cnt);
+		size_t cur_items = (size_t) atomic_load(&h->item_cnt);
 		size_t bucket_cnt = (1 << h->b->order);
 		size_t max_items = h->max_load * bucket_cnt;