diff --git a/src/util/uuid.c b/src/util/uuid.c
index a923022042..6013233ec9 100644
--- a/src/util/uuid.c
+++ b/src/util/uuid.c
@@ -145,7 +145,7 @@ uuid_time_p_t           time2; {
  *    Converts a string UUID to binary representation.
  */
 
-#ifndef KERNEL
+#if !defined(KERNEL) && !defined(UKERNEL)
 int
 afsUUID_from_string(const char *str, afsUUID *uuid)
 {