https://docs.oracle.com/cd/E88353_01/html/E37855/ddi-mem-put32-9f.html
ddi_mem_put32 - man pages section 9: DDI and DKI Kernel Functions
ddi_mem_put8 , ddi_mem_put16 , ddi_mem_put32 , ddi_mem_put64 , ddi_mem_putb , ddi_mem_putw , ddi_mem_putl , ddi_mem_putll - write data to mapped device in the...
man pagesddimem