https://docs.oracle.com/cd/E88353_01/html/E37855/ddi-rep-put64-9f.html
ddi_rep_put64 - man pages section 9: DDI and DKI Kernel Functions
ddi_rep_put8 , ddi_rep_put16 , ddi_rep_put32 , ddi_rep_put64 , ddi_rep_putb , ddi_rep_putw , ddi_rep_putl , ddi_rep_putll - write data to the mapped memory...
man pagesddirep