diff --git a/kernel/hashlib.h b/kernel/hashlib.h
index 94b573e47..7cea195d5 100644
--- a/kernel/hashlib.h
+++ b/kernel/hashlib.h
@@ -803,6 +803,14 @@ public:
 		do_rehash();
 	}
 
+	K pop()
+	{
+		iterator it = begin();
+		K ret = *it;
+		erase(it);
+		return ret;
+	}
+
 	void swap(pool &other)
 	{
 		hashtable.swap(other.hashtable);