Searched defs:gicc_base (Results 1 – 2 of 2) sorted by relevance
77 paddr_t gicc_base = 0; in boot_primary_init_intc() local
137 vaddr_t gicc_base; member526 vaddr_t gicc_base = 0; in gic_init_base_addr() local