Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/plat/xilinx/common/
Dipi.c68 static inline int is_ipi_mb_within_range(uint32_t local, uint32_t remote) in is_ipi_mb_within_range() function
92 if (!is_ipi_mb_within_range(local, remote)) { in ipi_mb_validate()