Searched refs:gicconfig (Results 1 – 1 of 1) sorted by relevance
722 unsigned int cpu_vec, i, gicconfig; in gic_of_init() local774 gicconfig = read_gic_config(); in gic_of_init()775 gic_shared_intrs = gicconfig & GIC_CONFIG_NUMINTERRUPTS; in gic_of_init()