Searched refs:size_bits (Results 1 – 3 of 3) sorted by relevance
480 if (size_bits < AFFID_BLK_BITS) in _get_pgls_head_by_page()543 RT_ASSERT(p->size_bits == size_bits); in _page_remove()557 p->size_bits = size_bits; in _page_insert()590 rt_uint32_t level = size_bits; in _pages_free()676 while (level > size_bits) in __pages_alloc()727 RT_ASSERT(page_cont->size_bits == size_bits); in _early_page_remove()754 page_cont->size_bits = size_bits; in _early_page_insert()799 _pages_ref_inc(p, size_bits); in rt_page_ref_inc()878 return (last_alloc + (1u << size_bits)) & AFFID_BITS_MASK(size_bits); in _get_balanced_id()1093 int size_bits; in _install_page() local[all …]
57 rt_uint32_t size_bits; /* if is ARCH_ADDRESS_WIDTH_BITS, means not free */80 void *rt_pages_alloc(rt_uint32_t size_bits);82 void *rt_pages_alloc_ext(rt_uint32_t size_bits, size_t flags);84 void *rt_pages_alloc_tagged(rt_uint32_t size_bits, long tag, size_t flags);88 void rt_page_ref_inc(void *addr, rt_uint32_t size_bits);90 int rt_page_ref_get(void *addr, rt_uint32_t size_bits);92 int rt_pages_free(void *addr, rt_uint32_t size_bits);
63 rt_uint32_t size_bits; member752 if (device_id >= (1 << tbl->size_bits)) in gicv3_its_irq_alloc_msi()1147 tbl->size_bits = its_device_id_bits(its); in its_table_init()1148 LOG_D("Device Max IDs = %lu", 1UL << tbl->size_bits); in its_table_init()1152 while (MAX_HANDLERS / tbl->itt_entries < (1 << tbl->size_bits) && in its_table_init()1166 tbl->lvl2_bits = tbl->size_bits - rt_ilog2(tbl->page_size / (int)entry_size); in its_table_init()1169 alloc_size = (1 << tbl->size_bits) / (tbl->page_size / entry_size); in its_table_init()1174 alloc_size = (1 << tbl->size_bits) * entry_size; in its_table_init()
Completed in 56 milliseconds