Searched refs:_order_ (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dpgalloc.c97 #define order2size(_order_) (1UL<<(_order_ + BMK_PCPU_PAGE_SHIFT))
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py109 _order_ = 'seL4_NoRights seL4_CanRead seL4_CanWrite seL4_CanGrant seL4_CanGrantReply seL4_AllRights' variable in class:ObjectRights

Completed in 55 milliseconds