--- src/sys/dev/misc/psm/psm.c	2007/01/08 12:21:50	1.23
+++ src/sys/dev/misc/psm/psm.c	2007/05/01 00:05:17	1.24
@@ -430,7 +430,7 @@ get_aux_id(KBDC kbdc)
 	return (-1);
 
     /* 10ms delay */
-    DELAY(10000);
+    DRIVERSLEEP(10000);
 
     id = read_aux_data(kbdc);
     if (verbose >= 2)