Searched refs:gicconfig (Results 1 – 1 of 1) sorted by relevance
691 unsigned int cpu_vec, i, gicconfig, v[2], num_ipis; in gic_of_init() local738 gicconfig = read_gic_config(); in gic_of_init()739 gic_shared_intrs = gicconfig & GIC_CONFIG_NUMINTERRUPTS; in gic_of_init()