Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/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
91 if (!is_ipi_mb_within_range(local, remote)) in ipi_mb_validate()