Searched refs:bootkc_numranges (Results 1 – 1 of 1) sorted by relevance
1300 static int bootkc_numranges = 0; in arm_get_bootkc_ranges_from_DT() local1307 if (bootkc_numranges == 0) { in arm_get_bootkc_ranges_from_DT()1326 bootkc_numranges++; in arm_get_bootkc_ranges_from_DT()1332 *arm_vm_kernelcache_numrangesp = bootkc_numranges; in arm_get_bootkc_ranges_from_DT()