Searched defs:gicr_ctlr (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/plat/imx/imx9/common/ | ||
| H A D | imx9_bl31_setup.c | 109 uint32_t gicr_ctlr; in bl31_platform_setup() local |
| /rk3399_ARM-atf/include/drivers/arm/ | ||
| H A D | gicv3.h | 509 uint32_t gicr_ctlr; member |