12309 errors in section 9e of the manual

*** 10,20 ****
         #include <sys/ddi.h>
         #include <sys/sunddi.h>
  
  
  
!        static intprefixprobe(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
--- 10,20 ----
         #include <sys/ddi.h>
         #include <sys/sunddi.h>
  
  
  
!        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,87 ****
  
         Writing Device Drivers
  
  
  
!                                November 18, 1992                     PROBE(9E)
--- 82,87 ----
  
         Writing Device Drivers
  
  
  
!                                February 15, 2020                     PROBE(9E)