Searched defs:gicd_base (Results 1 – 2 of 2) sorted by relevance
83 paddr_t gicd_base = 0; in boot_primary_init_intc() local
146 vaddr_t gicd_base; member198 static size_t probe_max_it(vaddr_t gicc_base __maybe_unused, vaddr_t gicd_base) in probe_max_it()535 vaddr_t gicd_base = 0; in gic_init_base_addr() local