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

/optee_os/core/drivers/
A D	gic.c	348 uint32_t mask_group = group & 0x1; 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