Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/plat/xilinx/common/
Dipi.c55 uint32_t total_ipi) in ipi_config_table_init() argument
58 ipi_total = total_ipi; in ipi_config_table_init()
/trusted-firmware-a-3.4.0/plat/xilinx/common/include/
Dipi.h51 uint32_t total_ipi);