Home
last modified time | relevance | path

Searched refs:io_ports (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/sigma0/server/src/
A Dioports_x86.cc21 static Mem_man io_ports; variable
25 io_ports.add_free(Region::kr(0, (64 * 1024) << PORT_SHIFT, 0, L4_FPAGE_RW)); in init_io_ports()
31 io_ports.dump(); in dump_io_ports()
42 io_ports.alloc(Region::bs(port, 1UL << size, t, L4_FPAGE_RW)); in handle_io_page_fault()
A Dioports_none.cc16 static Mem_man io_ports; variable

Completed in 2 milliseconds