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