12309 errors in section 9e of the manual

@@ -10,11 +10,11 @@
        #include <sys/ddi.h>
        #include <sys/sunddi.h>
 
 
 
-       static intprefixprobe(dev_info_t *dip);
+       static int prefixprobe(dev_info_t *dip);
 
 
 INTERFACE LEVEL
        Solaris DDI specific (Solaris DDI). This entry point is required for
        non-self-identifying devices.  You must write it for such devices. For

@@ -82,6 +82,6 @@
 
        Writing Device Drivers
 
 
 
-                               November 18, 1992                     PROBE(9E)
+                               February 15, 2020                     PROBE(9E)