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