Searched refs:L4_FPAGE_MEMORY (Results 1 – 2 of 2) sorted by relevance
219 L4_FPAGE_MEMORY = 1, enumerator637 return __l4_fpage_generic(address, L4_FPAGE_MEMORY, size, rights); in l4_fpage()
328 Memory = L4_FPAGE_MEMORY << 4,
Completed in 5 milliseconds