Home
last modified time | relevance | path

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

/l4re-core-master/l4sys/include/
A D__l4_fpage.h220 L4_FPAGE_IO = 2, enumerator
643 return __l4_fpage_generic(port << L4_FPAGE_ADDR_SHIFT, L4_FPAGE_IO, size, L4_FPAGE_RW); in l4_iofpage()
/l4re-core-master/l4sys/include/cxx/
A Dipc_types329 Io = L4_FPAGE_IO << 4,

Completed in 4 milliseconds