+ */
+extern int copyin_atomic32(
+ const user_addr_t user_addr,
+ uint32_t *kernel_addr);
+
+extern int copyin_atomic64(
+ const user_addr_t user_addr,
+ uint64_t *kernel_addr);
+
+/*
+ * Does an atomic copyin at the specified user_address and compares
+ * it to the passed in value, and if it matches, waits.