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

/optee_os/core/drivers/
A D	gic.c	347 uint32_t mask_id = it & 0xf; in gic_it_raise_sgi() local 350 uint32_t mask = (mask_id | SHIFT_U32(mask_group, 15) | in gic_it_raise_sgi()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023