Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/plat/xilinx/common/
Dipi.c45 static uint32_t ipi_total; variable
58 ipi_total = total_ipi; in ipi_config_table_init()
72 if (remote >= ipi_total || local >= ipi_total) { in is_ipi_mb_within_range()