Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dgic.c121 #define GICD_SGIR_SIGINTID_MASK 0xf macro
817 uint32_t mask_id = it & GICD_SGIR_SIGINTID_MASK; in gic_it_raise_sgi()