Searched refs:dte_size (Results 1 – 1 of 1) sorted by relevance

/components/drivers/pic/
A D	pic-gicv3-its.c	808 rt_size_t dte_size; in gicv3_its_irq_alloc_msi() local 819 dte_size = rt_page_bits(tbl->lvl2_bits); in gicv3_its_irq_alloc_msi() 820 rt_memset(lvl2_dte, 0, dte_size); in gicv3_its_irq_alloc_msi() 824 rt_hw_cpu_dcache_ops(RT_HW_CACHE_FLUSH, lvl2_dte, dte_size); in gicv3_its_irq_alloc_msi()

Completed in 128 milliseconds

Last Index update Fri Aug 22 02:45:11 CST 2025