Searched refs:cpuinfo_set_wcid (Results 1 – 2 of 2) sorted by relevance
25 void CPUINFO_ABI cpuinfo_set_wcid(uint32_t wcid);
21 void cpuinfo_set_wcid(uint32_t wcid) { in cpuinfo_set_wcid() function