Searched defs:gicc_base (Results 1 – 2 of 2) sorted by relevance
84 paddr_t gicc_base = 0; in boot_primary_init_intc() local
145 vaddr_t gicc_base; member534 vaddr_t gicc_base = 0; in gic_init_base_addr() local