Searched refs:lvl2_dte (Results 1 – 1 of 1) sorted by relevance
94 void *lvl2_dte; member795 void *lvl2_dte; in gicv3_its_irq_alloc_msi() local803 lvl2_dte = (void *)(*entry - PV_OFFSET); in gicv3_its_irq_alloc_msi()804 rt_page_ref_inc(lvl2_dte, tbl->lvl2_bits); in gicv3_its_irq_alloc_msi()810 lvl2_dte = rt_pages_alloc(tbl->lvl2_bits); in gicv3_its_irq_alloc_msi()812 if (!lvl2_dte) in gicv3_its_irq_alloc_msi()820 rt_memset(lvl2_dte, 0, dte_size); in gicv3_its_irq_alloc_msi()837 map->lvl2_dte = lvl2_dte; in gicv3_its_irq_alloc_msi()950 if (map->lvl2_dte) in its_map_release()952 if (rt_page_ref_get(map->lvl2_dte, tbl->lvl2_bits) == 1) in its_map_release()[all …]
Completed in 4 milliseconds