Searched defs:gicd_base (Results 1 – 2 of 2) sorted by relevance
76 paddr_t gicd_base = 0; in boot_primary_init_intc() local
138 vaddr_t gicd_base; member190 static size_t probe_max_it(vaddr_t gicc_base __maybe_unused, vaddr_t gicd_base) in probe_max_it()527 vaddr_t gicd_base = 0; in gic_init_base_addr() local