- Member __io_mapping
- clean up l4_fpage_unmap(io_page) workaround
- Member l4io_init
- driver classes (OS, device, ...)
- Member l4io_release_mem_region
- undo area reservation at l4rm but we need the area id for [start, start+len] here
generic_io, written by
Christian Helmuth
© 2003 Technische Universitaet Dresden