Searched refs:gicconfig (Results 1 – 1 of 1) sorted by relevance
737 unsigned int cpu_vec, i, gicconfig; in gic_of_init() local789 gicconfig = read_gic_config(); in gic_of_init()790 gic_shared_intrs = FIELD_GET(GIC_CONFIG_NUMINTERRUPTS, gicconfig); in gic_of_init()