Technical Notes

This message is from the DDI programming function kmem_free(9F), which releases a block of memory at address addr of size siz that was previously allocated by the DDI function kmem_alloc(9F). Both addr and siz must correspond to the original allocation. If you have source code for the driver, follow kmem_alloc(9F) and kmem_free(9F) in the code to make sure they allocate and free the same chunk of memory.