Lines Matching refs:order
354 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW;
558 l4_fpage_max_order(unsigned char order, l4_addr_t addr,
647 l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW in l4_obj_fpage() argument
651 return __l4_fpage_generic(obj, L4_FPAGE_OBJ, order, rights); in l4_obj_fpage()
695 l4_fpage_max_order(unsigned char order, l4_addr_t addr, in l4_fpage_max_order() argument
699 while (order < 30 /* limit to 1GB flexpages */) in l4_fpage_max_order()
702 l4_addr_t base = l4_trunc_size(addr, order + 1); in l4_fpage_max_order()
704 return order; in l4_fpage_max_order()
706 if (base + (1UL << (order + 1)) - 1 > max_addr - 1) in l4_fpage_max_order()
707 return order; in l4_fpage_max_order()
709 mask = ~(~0UL << (order + 1)); in l4_fpage_max_order()
713 ++order; in l4_fpage_max_order()
716 return order; in l4_fpage_max_order()