Searched refs:ipi_total (Results 1 – 1 of 1) sorted by relevance
45 static uint32_t ipi_total; variable58 ipi_total = total_ipi; in ipi_config_table_init()72 if (remote >= ipi_total || local >= ipi_total) in is_ipi_mb_within_range()