Searched refs:rt_page_ref_inc (Results 1 – 4 of 4) sorted by relevance
88 void rt_page_ref_inc(void *addr, rt_uint32_t size_bits);
115 rt_page_ref_inc(page_addr, 0); in rt_varea_pgmgr_insert()
792 void rt_page_ref_inc(void *addr, rt_uint32_t size_bits) in rt_page_ref_inc() function
804 rt_page_ref_inc(lvl2_dte, tbl->lvl2_bits); in gicv3_its_irq_alloc_msi()
Completed in 52 milliseconds