Home
last modified time | relevance | path

Searched refs:l4_fpage_ioport (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/sigma0/server/src/
A Dioports_x86.cc38 port = l4_fpage_ioport(fp) << PORT_SHIFT; in handle_io_page_fault()
/l4re-core-master/l4sys/include/
A D__l4_fpage.h513 l4_fpage_ioport(l4_fpage_t f) L4_NOTHROW;
591 l4_fpage_ioport(l4_fpage_t f) L4_NOTHROW in l4_fpage_ioport() function
/l4re-core-master/moe/server/src/
A Dregion.cc106 l4_fpage_ioport(io_pfa), 1 << l4_fpage_size(io_pfa), pc); in op_io_page_fault()
/l4re-core-master/l4re_kernel/server/src/
A Dregion.cc147 l4_fpage_ioport(io_pfa), 1 << l4_fpage_size(io_pfa), pc); in op_io_page_fault()

Completed in 6 milliseconds