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

/optee_os/core/drivers/
A D	gic.c	38 #define GICD_ICPENDR(n) (0x280 + (n) * 4) macro 179 io_write32(gd->gicd_base + GICD_ICPENDR(n), 0xffffffff); in gic_init() 262 io_write32(gd->gicd_base + GICD_ICPENDR(idx), mask); in gic_it_add()

Completed in 3 milliseconds

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