Searched refs:lpi_id_bits (Results 1 – 1 of 1) sorted by relevance
364 unsigned int lpi_id_bits = MIN(GICD_TYPER_IDBITS(sys_read32(GICD_TYPER)), in gicv3_rdist_setup_lpis() local372 lpi_prop_table = (uintptr_t)k_aligned_alloc(4 * 1024, LPI_PROPBASE_SZ(lpi_id_bits)); in gicv3_rdist_setup_lpis()373 memset((void *)lpi_prop_table, 0, LPI_PROPBASE_SZ(lpi_id_bits)); in gicv3_rdist_setup_lpis()376 lpi_pend_table = (uintptr_t)k_aligned_alloc(64 * 1024, LPI_PENDBASE_SZ(lpi_id_bits)); in gicv3_rdist_setup_lpis()377 memset((void *)lpi_pend_table, 0, LPI_PENDBASE_SZ(lpi_id_bits)); in gicv3_rdist_setup_lpis()388 ((lpi_id_bits - 1) & GITR_PROPBASER_ID_BITS_MASK); in gicv3_rdist_setup_lpis()
