Home
last modified time | relevance | path

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

/optee_os/core/drivers/
A Dgic.c332 static void gic_it_set_pending(struct gic_data *gd, size_t it) in gic_it_set_pending() function
480 gic_it_set_pending(gd, it); in gic_op_raise_pi()
/optee_os/out/arm/core/
A Dtee.dmp29614 gic_it_set_pending():

Completed in 149 milliseconds