Home
last modified time | relevance | path

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

/l4re-core-master/l4sys/include/
A D__l4_fpage.h62 L4_FPAGE_ADDR_SHIFT = 12, ///< Page address shift enumerator
67 L4_FPAGE_ADDR_BITS = L4_MWORD_BITS - L4_FPAGE_ADDR_SHIFT, ///< Page address size
76 L4_FPAGE_ADDR_MASK = ~0UL << L4_FPAGE_ADDR_SHIFT,
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()
643 return __l4_fpage_generic(port << L4_FPAGE_ADDR_SHIFT, L4_FPAGE_IO, size, L4_FPAGE_RW); in l4_iofpage()
649 static_assert((unsigned long)L4_CAP_SHIFT >= L4_FPAGE_ADDR_SHIFT, in l4_obj_fpage()
/l4re-core-master/ned/server/src/
A Dapp_model.h108 L4::Cap<L4::Scheduler> s(prog_info()->scheduler.raw & (~0UL << L4_FPAGE_ADDR_SHIFT)); in run_thread()

Completed in 5 milliseconds