Home
last modified time | relevance | path

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

/optee_os/core/include/drivers/
H A Dversal_mbox.h45 #define VERSAL_IPI_ID_2 4 macro
/optee_os/core/drivers/
H A Dversal_pmc.c224 lcl = VERSAL_IPI_ID_2; in versal_pmc_init()
H A Dversal_mbox.c102 [VERSAL_IPI_ID_2] = {