Home
last modified time | relevance | path

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

/optee_os/core/include/drivers/
H A Dversal_mbox.h47 #define VERSAL_IPI_ID_4 6 macro
/optee_os/core/drivers/
H A Dversal_pmc.c230 lcl = VERSAL_IPI_ID_4; in versal_pmc_init()
H A Dversal_mbox.c118 [VERSAL_IPI_ID_4] = {