Searched refs:cpuinfo_arm_wcid (Results 1 – 2 of 2) sorted by relevance
7 extern uint32_t cpuinfo_arm_wcid;18 return cpuinfo_arm_wcid; in read_wcid()
15 uint32_t cpuinfo_arm_wcid = 0; variable22 cpuinfo_arm_wcid = wcid; in cpuinfo_set_wcid()