NAME | FEATURES | DESCRIPTION | ATTRIBUTES
DKI
The microkernel provides services to allow device drivers to map physical space to virtual memory space. This services should be used mainly by primary bus drivers to map bus I/O space, or DMA memory.
See attributes(5) for descriptions of the following attributes:
ATTRIBUTE TYPE | ATTRIBUTE VALUE |
---|---|
Interface Stability | Evolving |
NAME | FEATURES | DESCRIPTION | ATTRIBUTES