| INVALID | iospace_handler | [static] |
| read_ioport(l4_port_t port, access_size access_size)=0 | iospace_handler | [pure virtual] |
| write_ioport(l4_port_t port, uint32_t data, access_size access_size)=0 | iospace_handler | [pure virtual] |
| ~iospace_handler(void) | iospace_handler | [inline, virtual] |