GIC_PPI_BASE (reference) in projects: optee_os-3.20.0

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

/optee_os-3.20.0/core/include/drivers/
A D	gic.h	`20 #define GIC_PPI_BASE U(16) macro 24 #define GIC_PPI(x) ((x) + GIC_PPI_BASE)`
/optee_os-3.20.0/core/kernel/
A D	notif.c	`97 static_assert(CFG_CORE_ASYNC_NOTIF_GIC_INTID >= GIC_PPI_BASE); in notif_send_async()`

Completed in 2 milliseconds