Searched defs:gicd_base (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/plat-marvell/ | ||
| H A D | main.c | 83 paddr_t gicd_base = 0; in boot_primary_init_intc() local |
| /optee_os/core/drivers/ | ||
| H A D | gic.c | 138 vaddr_t gicd_base; global() member |