Searched refs:bootkc_numranges (Results 1 – 1 of 1) sorted by relevance
1456 static int bootkc_numranges = 0; in arm_get_bootkc_ranges_from_DT() local1463 if (bootkc_numranges == 0) { in arm_get_bootkc_ranges_from_DT()1482 bootkc_numranges++; in arm_get_bootkc_ranges_from_DT()1488 *arm_vm_kernelcache_numrangesp = bootkc_numranges; in arm_get_bootkc_ranges_from_DT()