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

/optee_os/core/drivers/
A D	gic.c	394 size_t reg_idx = it / NUM_TARGETS_PER_REG; in gic_it_get_target() local 398 uint32_t target = io_read32(gd->gicd_base + GICD_ITARGETSR(reg_idx)); in gic_it_get_target()

Completed in 3 milliseconds

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