Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
A Dinterrupt.h37 void (*raise_sgi)(struct itr_chip *chip, size_t it, member
/optee_os/core/kernel/
A Dinterrupt.c128 itr_chip->ops->raise_sgi(itr_chip, it, cpu_mask); in itr_raise_sgi()
/optee_os/core/drivers/
A Dgic.c88 .raise_sgi = gic_op_raise_sgi,

Completed in 5 milliseconds