https://blog.frankleonhardt.com/2016/freebsd-device-driver-memory-allocation/