Searched refs:gic_len (Results 1 – 1 of 1) sorted by relevance
831 size_t gic_len; in gic_of_init() local854 gic_len = 0x20000; in gic_of_init()861 gic_len = resource_size(&res); in gic_of_init()868 __gic_init(gic_base, gic_len, cpu_vec, 0, node); in gic_of_init()