Home
last modified time | relevance | path

Searched refs:L4_FPAGE_ADDR_MASK (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/l4sys/include/
A D__l4_fpage.h76 L4_FPAGE_ADDR_MASK = ~0UL << L4_FPAGE_ADDR_SHIFT, enumerator
587 return (f.raw & L4_FPAGE_ADDR_MASK) >> L4_FPAGE_ADDR_SHIFT; in l4_fpage_page()
593 return (f.raw & L4_FPAGE_ADDR_MASK) >> L4_FPAGE_ADDR_SHIFT; in l4_fpage_ioport()
599 return f.raw & L4_FPAGE_ADDR_MASK; in l4_fpage_memaddr()
605 return f.raw & L4_FPAGE_ADDR_MASK; in l4_fpage_obj()
621 | ((address ) & L4_FPAGE_ADDR_MASK); in __l4_fpage_generic()
629 f.raw = ((L4_FPAGE_TYPE_MASK | L4_FPAGE_SIZE_MASK | L4_FPAGE_ADDR_MASK) & src.raw) in l4_fpage_set_rights()
/l4re-core-master/ned/server/src/
A Dapp_model.cc23 L4::Cap<L4Re::Mem_alloc> _ma(prog_info()->mem_alloc.raw & L4_FPAGE_ADDR_MASK); in alloc_ds()
117 L4::Cap<L4Re::Mem_alloc> ma(prog_info()->mem_alloc.raw & L4_FPAGE_ADDR_MASK); in alloc_app_stack()
170 *factory = L4::Cap<L4::Factory>(prog_info()->factory.raw & L4_FPAGE_ADDR_MASK); in get_task_caps()
/l4re-core-master/moe/server/src/
A Ddataspace.h54 unsigned long bs() const throw() { return fpage.raw & L4_FPAGE_ADDR_MASK; } in bs()

Completed in 6 milliseconds