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

/optee_os/core/drivers/
A D	gic.c	22 #define GICC_PMR (0x004) macro 158 io_write32(gd->gicc_base + GICC_PMR, 0x80); in gic_cpu_init() 202 io_write32(gd->gicc_base + GICC_PMR, 0x80); in gic_init()

Completed in 2 milliseconds

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