Searched refs:ccount (Results 1 – 3 of 3) sorted by relevance
53 unsigned long ccount; in get_ccount() local54 RSR_CCOUNT(ccount); in get_ccount()55 return ccount; in get_ccount()58 static inline void set_ccount (unsigned long ccount) in set_ccount() argument60 WSR_CCOUNT(ccount); in set_ccount()
196 unsigned long ccount; in boot_secondary() local210 ccount = get_ccount(); in boot_secondary()211 while (!ccount); in boot_secondary()213 WRITE_ONCE(cpu_start_ccount, ccount); in boot_secondary()221 ccount = READ_ONCE(cpu_start_ccount); in boot_secondary()222 } while (ccount && time_before(jiffies, timeout)); in boot_secondary()224 if (ccount) { in boot_secondary()
142 wsr a0, ccount # not really necessary, but nice298 wsr a3, ccount