11586 NAME field in man pages should match what's installed

*** 1,9 ****
  USBA_HCDI_PIPE_RESET(9E)      Driver Entry Points     USBA_HCDI_PIPE_RESET(9E)
  
  NAME
!      usba_hcdi_pipe_rest - reset an open USB pipe
  
  SYNOPSIS
       #include <sys/usb/usba/hcdi.h>
  
       int
--- 1,9 ----
  USBA_HCDI_PIPE_RESET(9E)      Driver Entry Points     USBA_HCDI_PIPE_RESET(9E)
  
  NAME
!      usba_hcdi_pipe_reset - reset an open USB pipe
  
  SYNOPSIS
       #include <sys/usb/usba/hcdi.h>
  
       int
*** 67,72 ****
  SEE ALSO
       usba_hcdi_pipe_open(9E), usba_hcdi_pipe_stop_intr_polling(9E),
       usba_hcdi_pipe_stop_isoc_polling(9E), usba_hcdi_cb(9F),
       usba_pipe_handle_data(9S)
  
! illumos                        December 22, 2016                       illumos
--- 67,72 ----
  SEE ALSO
       usba_hcdi_pipe_open(9E), usba_hcdi_pipe_stop_intr_polling(9E),
       usba_hcdi_pipe_stop_isoc_polling(9E), usba_hcdi_cb(9F),
       usba_pipe_handle_data(9S)
  
! illumos                         August 20, 2019                        illumos